Case Study: Imperative Objects | part of Types and Programming Languages | MIT Press books | IEEE Xplore