An automatic technique for selection of data representation in SETL programs (1981)

by E Schonberg, J T Schwartz, M Sharir
Venue:Readings in Artificial Intelligence and Software Engineering