Model Variables: Cleanly Supporting Abstraction (2005)

by Y Cheon, G T Leavens, M Sitaraman, S Edwards
Venue:in Design By Contract,” Software Practice & Experience