Hybrid object types, specifications, and invariants (2006)

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