In transition from global to modular temporal reasoning about programs. 123–144 (1985)

by A Pnueli