@book{12467,
	author = {Bruijn, Nicolass, G. de.},
	title = {Automath; a language for mathematics},
	publisher = {Les Presses de L'Universite de Montreal},
	year = {1973},
	series = {Univ. of Montreal, Seminaire de Mathematiques superieures-ETE 1971, v.52},
	address = {Montreal}
}