Harry Rudin

• Protocol Specification, Testing, and Verification, VII
• Protocols for High Speed Networks