"A Modest Model of Records, Inheritance and Bounded Quantification"

Kim B. Bruce, Giuseppe Longo (1988)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics