The language theory of automath - Daalen, Diederik Ton van (rz1, 1980)