J. D. Nielsen, “The SMCL Language Specification”, BRICS, vol. 14, no. 9, Jan. 2007.