Munk, Johan. “A Study of Syntactic and Semantic Artifacts and Its Application to Lambda Definability, Strong Normalization, and Weak Normalization in the Presence of. ”. BRICS Report Series, bd. 15, nr. 3, april 2008, doi:10.7146/brics.v15i3.21938.