1. ISO Recommendation 8807. Information processing system — open system interconnection — LOTOS — a formal description technique based on temporal ordering of observational behaviour, 1988.
2. ISO 9074. The extended state transition language (Estelle), 1989.
3. D. Barnard and Simon Crosby. The specification and verification of an experimental atm signalling protocol. In Dembrin-ski and Sredniawa, editors, Proc. IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV, Warsaw, Poland, June 1995. Chapman Hall.
4. M.J. Butler. A CSP Approach to Action Systems. DPhil thesis, University of Oxford, 1992.
5. R. Braden, L. Zhang, S. Berson, S. Herzog, and S. Jamin. Resource reservation protocol (rsvp) — version 1, functional specification. Internet Draft, Internet Engineering Task Force, 1996.