Object-Oriented Programming in Gödel: An Experiment.

Kerima Benkerimi Patricia M. Hill Object-Oriented Programming in Gödel: An Experiment. 177-191 1992 conf/meta/1992 META db/conf/meta/meta92.html#BenkerimiH92