G. J. Veltink

• Algebraic Specification of Communication Protocols
• Algebraic Specification of Communication Protocols