Universes: Lightweight Ownership for JML (2005)

by Werner Dietl, Peter Müller
Venue:JOURNAL OF OBJECT TECHNOLOGY