Design and Validation of Computer Protocols (1991)

by G Holzmann