1. ADA, The Programming Language ADA, Reference Manual, American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983, LNCS 155 Springer, 1983.
2. P. America, Definition of the programming language POOL-T, ESPRIT project 415, Doc. Nr. 0091, Philips Research Laboratories, Eindhoven, June 1985.
3. P. America, J.W. de Bakker, J.N. Kok, J.J.M.M. Rutten, Operational semantics of a parallel object-oriented language, CS-R8515, Centre for Mathematics and Computer Science, 1985.
4. P. America, J.W. de Bakker, J.N. Kok, J.J.M.M. Rutten, Denotational semantics of a parallel object-oriented language, in preparation.
5. K.R. Apt, Recursive assertions and parallel programs, Acta Inf. 15 (1981) 219–232.