Combinatory analysis - Macmahon, Percy A. (Dover, 2004)