1. Barendregt, H.P.: The Lambda Calculus Its Syntax and Semantics, Revised edn., vol. 103. North Holland (1984)
2. Bruijn, N.G.D.: Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser Theorem. Indagationes Mathematicae 34, 381–392 (1972)
3. Stanley, R.P.: Enumerative Combinatorics. Wadsworth Publ. Co., Belmont (1986)
4. Barendregt, H.P.: Lambda calculi with types. In: Handbook of Logic in Computer Science, vol. 2. Oxford University Press (1991)
5. Sloane, N.J.A.: The On-Line Encyclopedia of Integer Sequences (2014). Published electronically at
https://oeis.org/