Universes: Lightweight ownership for JML (2005)

by Werner Dietl, Peter Müller
Venue:Journal of Object Technology (JOT