P. D. Mosses, “CASL for CafeOBJ Users”, BRICS, bd. 7, nr. 51, jun. 2000.