Specification and verification of concurrent systems in CESAR (1981)

by J P Queille, J Sifakis
Venue:In Proc. of the 5th International Symposium on Programming, volume 137 of LNCS