Specification and verification of concurrent programs in Cesar (1981)

by J P Queille, J Sifakis
Venue:In Proceedings of the Fifth International Symposium on Programming, LNCS 137