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