1. ISO, Information Processing–Open Systems Interconnection—Estelle: A Formal Description Technique Based on an Extended State Transition Model, ISO International Standard 9074, 1989.
2. ISO, Information Technology–Open Systems Interconnection—Specification of Abstract Syntax Notation One (ASN.1), ISO/IEC International Standard 8824, 1990.
3. ISO, Information Processing–Open Systems Interconnection—Specification of Basic Encoding Rules for ASN.1, ISO/IEC International Standard 8825, 1990.
4. Semi-automatic implementation of communication protocols;Bochmann;IEEE Transactions on Software Engineering,1987
5. Automatic Implementation of TP4/IP with an Estelle Workstation: Development Methodology and Performance Evaluation, Protocol Specification, Testing, and Verification XI;Vazquez,1991