@Article{DietlMueller05, author = {Dietl, W. and M\"uller, P.}, title = {Universes: Lightweight Ownership for {JML}}, journal = {Journal of Object Technology (JOT)}, month = {October}, year = {2005}, OPTkey = {}, volume = {4}, number = {8}, pages = {5--32}, OPTannote = {}, url = {http://www.jot.fm/issues/issue_2005_10/article1.pdf}, urltext = {[Publisher]} }