On Understanding Data Abstraction, Revisited (2009) · HackerTrans