Formal Techniques for the Specification and Verification of Protocols (1981)

by D Schwabe