Title: Data Structure Choice / Formal Differentiation. by Ssu-Cheng Liu and Robert Paige