A language for the specification and analysis of protocols (1983)

by S Aggarwal, R P Kurshan, D Sharma
Venue:In Proc. 3rd Int’l Workshop on Protocol Specification, Testing, and Verification