Jacob T. Schwartz: Automatic Data Structure Choice in a Language of Very High Level. POPL 1975: 36-40