van Dt Diederik Daalen

The Language Theory of Automath Chapter VIII, 1 and 2 (AUT-II)

van Dt Diederik Daalen, 1994 .

The Language Theory of Automath: Chapter I, Sections 1–5 (Introduction)

van Dt Diederik Daalen, 1994 .