"Modular Construction of Fixed Point Combinators and Clocked Bohm Trees."

Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics