Good to read alongside William Cook's On Understanding Data Abstraction https://www.cs.utexas.edu/~wcook/Drafts/2009/essay.pdf