Combinatory Analysis by Percy A. MacMahon