Citations

• Schonberg, E., J. Schwartz and M. Sharir, "An Automatic Technique for the Selection of Data Representations in SETL Programs," ACM Transactions on Programming Languages and Systems, April, 1981, Vol. 3, No. 2, pages 126-143.
  
  
• Baxter, Nancy, Ed Dubinsky, and Gary Levin, "Learning Discrete Mathematics with ISETL, Springer-Verlag, 1989, New York.