"Selected Papers on Automath " - читать интересную книгу автора (R.P. Nederpelt, J.H. Geuvers, R.C. de Vrijer)