Luigi Liquori An Extended Theory of Primitive Objects: FIrst Order System. 146-169 http://link.springer.de/link/service/series/0558/bibs/1241/12410146.htm 1997 ECOOP db/conf/ecoop/ecoop97.html#Liquori97