Introduction to combinators and calculus - Hindley J Roger; Seldin Jonathan P (Cambridge Cambridge University, 1986)
Appendix:p313-39
Keywords: Algebra