J.R. Cordy and R.C. Holt 1980. Specification of Concurrent Euclid. Technical reports CSRI-115 (July 1980) and CSRI-133 (August 1981), Computer Systems Research Institute, University of Toronto. 54 pages. R.C. Holt 1982. Concurrent Euclid, the Unix System and Tunis. Addison-Wesley 1982. 323 pages. R.C. Holt 1982. A short introduction to Concurrent Euclid. SIGPLAN Not. 17, 5 (May. 1982), 60-79. R.C. Holt 1982. Tunis: a Unix look-alike written in Concurrent Euclid. SIGOPS Operating Systems Review 16, 1 (January 1982), 4-5.