@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}
}