Torben Æ. Mogensen Efficient Self-Interpretations in lambda Calculus. 345-363 1992 2 J. Funct. Program. 3 db/journals/jfp/jfp2.html#Mogensen92