A Calculus for Protocol Specification and Validation.

Published in: Protocol Specification, Testing, and Verification (1983)