Edmond Schonberg Jacob T. Schwartz Micha Sharir An Automatic Technique for Selection of Data Structures in SETL Programs. 126-143 1981 3 ACM Trans. Program. Lang. Syst. 2 http://doi.acm.org/10.1145/357133.357135 db/journals/toplas/toplas3.html#SchonbergSS81