Gérard Boudol Silvano Dal-Zilio An Interpretation of Extensible Objects. 148-160 http://link.springer.de/link/service/series/0558/bibs/1684/16840148.htm 1999 conf/fct/1999 FCT db/conf/fct/fct99.html#BoudolD99