Design and Validation of Computer Protocols. (1991)

by G J Holzmann