The Language Theory of Automath (1980)

by D T van Daalen