"Curien, P.L." "Categorial Combinators," - "New York," "Pitman," 1986 - 300 ISBN: 9.78E+12 Dewey Class. No.: 5 / 13 C92