Selected papers on Automath - Nederpelt, R. P; Geuvers, J. H; Vrijer, R. C. de (Studies in logic and the foundations of mathematics, 1994)