Mosses, P. D. “CASL for CafeOBJ Users”. BRICS Report Series, vol. 7, no. 51, June 2000, doi:10.7146/brics.v7i51.20218.