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