"A Fixed-Program Machine for Combinator Expression Evaluation."

Steven S. Muchnick, Neil D. Jones (1982)
a service of Schloss Dagstuhl - Leibniz Center for Informatics