@inbook{fb7fe033772449fe924cb2fd1b08977c,
title = "The mathematical language Automath, its usage, and some of its extensions",
abstract = "No abstract.",
author = "{Bruijn, de}, N.G.",
year = "1994",
language = "English",
isbn = "0-444-89822-0",
series = "Studies in logic and the foundations of mathematics",
publisher = "North-Holland Publishing Company",
pages = "73--100",
editor = "R.P. Nederpelt and J.H. Geuvers and {Vrijer, de}, R.C.",
booktitle = "Selected Papers on Automath",
address = "Netherlands",
}