James Leslie Keedy Klaus Espenlaub Christian Heinlein Gisela Menger Qualifying Types with Bracket Methods in Timor. 101-121 2004 3 Journal of Object Technology 1 http://www.jot.fm/issues/issue_2004_01/article1.pdf db/journals/jot/jot3.html#KeedyEHM04