1. The programming language Ada. Reference manual, 1983.
2. S.D. Brookes, C.A.R. Hoare, and W. Roscoe. A theory of communicating sequential processes. J. Assoc. Comput. Mach., 31:560–599, 1984.
3. J.A. Bergstra, J.W. Klop, and E.-R. Olderog. Readies and failures in the algebra of communicating systems. SIAM J. Comp., 17(6):1134–1177, 1988.
4. F.S. de Boer, J.N. Kok, C. Palamidessi, and J.J.M.M. Rutten. The Failure of failures in a paradigm for asynchronous communication. In Proceedings of Concur '91, Amsterdam 1991.
5. F.S. de Boer and C. Palamidessi. On the asynchronous nature of communication in concurrent logic languages: A fully abstract model based on sequences. In J.C.M. Baeten and J.W. Klop, editors, Proc. of Concur 90, volume 458 of Lecture Notes in Computer Science, pages 99–114, The Netherlands, 1990. Springer-Verlag. Full version available as report at the Technische Universiteit Eindhoven.