Design and Validation of Computer Protocols (1991)

by Gerard J Holzmann
Venue:Software Engineering, IEEE