R. Aviv, Z. Erlich, and G. Ravid. The 3rd IEEE International Conference on Advanced Learning Technologies, 2003. Proceedings, page 145 -- 149. (July 2003)
M. Adams, and R. Dybvig. ICFP '08: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, page 179--188. New York, NY, USA, ACM, (2008)