Architecture and specification style in formal descriptions of distributed systems (1988)

by C A Vissers, G Scollo, M v Sinderen
Venue:In Proc. 8th Int. Symp. on Protocol Specification, Testing, and Verification (PSTV-VIII