Object Oriented Specification of Multi-Layered Protocols. - Andrew F. Watts; David H. Pitt; Colin Smythe (ICCI, 1993)