@TechReport{chen-hills-rosu-2006-tr, author = {Feng Chen and Mark Hills and Grigore Ro\c{s}u}, title = "{A Rewrite Logic Approach to Semantic Definition, Design and Analysis of Object-Oriented Languages}", institution = {Department of Computer Science, University of Illinois at Urbana-Champaign}, Number = {UIUCDCS-R-2006-2702}, Year = {2006} }