Fairouz Kamareddine Special Issue Mechanizing and Automating Mathematics: In honour of N.G. de Bruijn - Preface. 183-188 2002 29 J. Autom. Reasoning 3-4 db/journals/jar/jar29.html#Kamareddine02