Selected Papers on Automath door Nederpelt & 'Nederpelt'