J. Dana Eckart Iteration and Abstract Data Types. 103-110 1987 22 SIGPLAN Notices 4 db/journals/sigplan/sigplan22.html#Eckart87