N. G. de Bruijn (1918 - 2012) and his road to automath, the earliest proof checker - Dechesne, Francien; Nederpelt, Rob (2012)