J. Iversen, “Type Checking Semantic Functions in ASDF”, BRICS, bd. 11, nr. 35, dec. 2004.