Specification and verification of concurrent systems is CESAR (1982)

by J-P Queille, J Sifakis
Venue:In International Symposium on Programming, LNCS 137