de Bruijn. A Survey of the Project AUTOMATH. 579--606 (1980)