On Understanding Data Abstraction, Revisited (2009)
cs.utexas.edu