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