N. G. de Bruijn (1918--2012) and his road to Automath, the earliest proof checker
scientific article; zbMATH DE number 6136583
scientific article