Hybrid types, invariants, and refinements for imperative objects (2006)

by C Flanagan, S N Freund, A Tomb
Venue:In International Workshop on Foundations and Developments of Object-Oriented Languages