The SMCL Language Specification - Nielsen, Janus Dam (BRICS Report Series, 2007)
[No abstract available]