Title: Two-Level Functional Languages, Author: Flemming Nielson
Title: Lambda-calculus, Combinators and Functional Programming, Author: G. E. Revesz