1. R. Boyer, J Moore. “A Computational Logic.” Academic Press (1979).
2. N.G. de Bruijn. “The mathematical language AUTOMATH, its usage and some of its extensions.” Symposium on Automatic Demonstration, IRIA, Versailles, 1968. Printed as Springer-Verlag Lecture Notes in Mathematics 125, (1970) 29–61.
3. N.G. de Bruijn. “A survey of the project Automath.” (1980) in to H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, Eds Seidin J. P. and Hindley J. R., Academic Press (1980).
4. N.G. de Bruijn. “A riffle shuffle card trick and its relation to quasi crystal theory.” Nieuw Archief Voor Wiskunde 5 3 (1987) 285–301.
5. R.L. Constable et al. “Implementing Mathematics in the Nuprl System.” Prentice-Hall (1986).