On Modular Algebraic Protocol Specification (1995)

by J J Brunekreef