Iversen, J. (2004) “Type Checking Semantic Functions in ASDF”, BRICS Report Series, 11(35). doi: 10.7146/brics.v11i35.21860.