Characteristics of de Bruijn's early proof checker Automath. - Geuvers, Herman; Nederpelt, Rob (Fundamenta Informaticae, 2022)