James Leslie Keedy Klaus Espenlaub Christian Heinlein Gisela Menger Mark Evered Statically Qualified Types in Timor. 115-137 2005 4 Journal of Object Technology 7 http://www.jot.fm/issues/issue_2005_09/article5 db/journals/jot/jot4.html#KeedyEHME05