Lambda calculus combinators and functional programming - Revesz G E (Cmbridge CUP, 1988)
Keywords: Computer science irt maths; Database mangement; Computer science