Introduction to combinatory logic - Hindley J R; Lercher B; Seldin J P (Cambridge Cambridge University Press, 1972)
Appendix 1-2, 139-156p.
Keywords: Combinatorial coding theory