Specification and verification of concurrent systems (1982)

by J P Queille, J Sifakis
Venue:in CESAR, Proc. 5th Int. Sym. on Programming, Lecture Notes in Computer Science