Nielsen, J. D. The SMCL Language Specification. BRICS 2007, 14.