Universes: Lightweight ownership for JML. (2005)

by W Dietl, P Muller
Venue:Journal of Object Technology,