P. D. Mosses, “CASL: A Guided Tour of its Design”, BRICS, vol. 5, no. 43, Jun. 1998.