Selected papers on Automath (Elsevier, 1994)
Includes bibliographical references and indexes