William R. Cook: On understanding data abstraction, revisited. OOPSLA 2009: 557-572