1. Burstall, R.M., MacQueen, D.B. and Sanella, D.T., 1980; "Hope: An Experimental Applicative Language", Proc. 1980 LISP conference, Stanford California. 136–143.
2. Cripps, M.D., Darlington, J., Field, A.J., Harrison, P.G. and Reeve, M.J., 1987; "The Design and Implementation of ALICE: A Parallel Graph Reduction Machine", Dataflow and Reduction Architectures, ed. S.S. Thakkar, IEEE publications.
3. Gabbay, D., 1986; "Executable Temporal Logic for Interactive Systems", Internal Report, Department of Computing, Imperial College.
4. Henderson, P., 1982; "Purely Functional Operating Systems", Functional Programming and its Applications, eds. J. Darlington, P. Henderson and D.A. Turner, Cambridge University Press. 177–189.
5. Hoare, C.A.R., 1985; "Communicating Sequential Processes", Prentice-Hall International, Englewood Cliffs, New Jersey.