[Bochmann77] G.V. Bochmann and J. Gecsei A Unified Method for the Specification and Verification of Protocols, IFIP Congress, Toronto, 1977,229-234 []