Specification and verification of concurrent programs by 8automata (1987)

by Z Manna, A Pnueli
Venue:In Proc. 14th Ann. ACM Symp. on Principles of Programming Languages