P. D. Mosses, “CASL for CafeOBJ Users”, BRICS, vol. 7, no. 51, Jun. 2000.