transition from global to modular temporal reasoning about programs, Logics and models of concurrent systems F13 (1985)

by A Pnueli, In