1. Information Processing Systems —Open Systems Interconnection — Protocol Specification for the Association Control Service Element. Draft International Standard ISO 8650. International Organization for Standardization. April 1988.
2. Information Processing Systems — Open Systems Interconnection — Service Definition for the Association Control Service Element. Draft International Standard ISO 8649. International Organization for Standardization. April 1988.
3. Bolognesi, T., Smolka, S., Fundamental results for the verification of observational equivalence: A survey. Rudin, H., West, C., Proceedings of the IFIP International Conference on Protocol Specification, Testing and Verification VII, Zurich 1987. North Holland. 1988.
4. Brookes, S., Hoare, C., Roscoe, A.,A theory of communicating sequential processes. Journal of the ACM 31(1984)3, 560–599. Also: Report CMU-CD-83-153. Department of Computer Science, Carnegie-Mellon University. 1983.
5. Brookes, S., Roscoe, A.,An improved failures model for communicating processes. Lecture Notes in Computer Science 197(1984), 281–305.