Verification of concurrent programs: The temporal framework (1981)

by Z Manna, A Pnueli
Venue:The Correctness Problem in Computer Science