Speci cation and Veri cation of Concurrent Programs in CESAR (1982)

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