@TechReport{hills-rosu-2006-tr, author = {Mark Hills and Grigore Ro\c{s}u}, title = "{KOOL: A K-based Object-Oriented Language}", institution = {Computer Science Department, University of Illinois at Urbana-Champaign}, Number = {UIUCDCS-R-2006-2779}, Year = {2006} }