The Language Theory of AUTOMATH (1980)

by D T van Daalen