The Design and Validation of Computer Protocols. Edgewood Clis (1991)

by G Holzmann