Design and Validation of Computer Protocols (1991)

by Gerard J Holzmann