Mosses, P. D. CASL for CafeOBJ Users. BRICS 2000, 7.