J. Iversen, “Type Checking Semantic Functions in ASDF”, BRICS, vol. 11, no. 35, Dec. 2004.