CUPID: A Protocol Development Environment. - Yechiam Yemini; Nihal Nounou (Protocol Specification, Testing, and Verification, 1983)

Algebraic Specification-Based Performance Analysis of Communication Protocols. - Nihal Nounou; Yechiam Yemini (PSTV, 1984)