Mark Hills Grigore Rosu On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance. 107-121 2007 conf/fmoods/2007 FMOODS http://dx.doi.org/10.1007/978-3-540-72952-5_7 db/conf/fmoods/fmoods2007.html#HillsR07