@inbook{7affa81c6e3f44769985e2606ca3fdad,
title = "Some extensions of Automath : the AUT-4 family",
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 = "283--288",
booktitle = "Selected papers on Automath / ed. by Rob P. Nederpelt, J.H. Geuvers and Roel C. de Vrijer ; with the assistance of L.S. van Benthem Jutting and D.T. van Daalen",
address = "Netherlands",
}