Nederpelt, R. P. "Selected Papers on Automath" Elsevier 1980

(1980)

Languages mentioned