Combinatories for computer science - Williamson, S Gill (Computer Science Press, 1985)