Alberto Ciaffaglione Luigi Liquori Marino Miculan Imperative Object-Based Calculi in Co-inductive Type Theories. 59-77 http://dx.doi.org/10.1007/978-3-540-39813-4_4 2003 conf/lpar/2003 LPAR db/conf/lpar/lpar2003.html#CiaffaglioneLM03