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

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