Introduction to combinatory logic
Hindley, J. R.(James Roger),1939-
Lercher, Bruce.
Seldin, Jonathan Paul.
London Cambridge University Press
1972
Bibliographyp.157-162. - Includes index
Combinatory logic.