Mosses, P. D. CASL: A Guided Tour of Its Design. BRICS 1998, 5.