1. The OSI reference model
2. and , ‘Automated protocol verification’, Proceedings of the Fifth International Workshop on Protocol Specification, Testing and Verification, North-Holland, Amsterdam, June, 1985.
3. ‘Automated protocol validation: Some practical examples’, Proceedings of Fourth International Conference on Computer Communication, Pathway to the Information Society, North-Holland, Amsterdam, 1982, pp. 912–914.
4. An Automated Technique of Communications Protocol Validation
5. and , ‘An formalised specification of HDLC classes of procedures’, Proceeding of IEEE National Telecommunication Conference, Los Angeles, CA, Dec, 1977.