1. A. Coombes. An interval logic for modelling time in Z. Technical report, Department of Computing Science, University of York, 1990.
2. N. Delisle and D. Garlan. Formally specifying electronic instruments. ACM SIGSOFT Eng. Notes, 14:242–248, 1989.
3. ISO/IEC. Information Processing Systems — Open Systems Interconnection — Estelle — A Formal Description Technique Based on an Extended State Transition Model. ISO/IEC 9074. International Organization for Standardization, Geneva, Switzerland, 1989.
4. ISO/IEC. Information Processing Systems — Open Systems Interconnection — LOTOS — A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. ISO/IEC 8807. International Organization for Standardization, Geneva, Switzerland, 1989.
5. ISO/IEC. Basic Reference Model of ODP — Part 1: Overview and Guide to Use of the Reference Model. Draft International Standard 10746-1, Draft ITU-T Recommendation X.901. ISO/IEC ITU-T, Geneva, Switzerland, 1995.