N. Danielsson, J. Hughes, P. Jansson, and J. Gibbons. Conference Record of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, volume 41 of POPL '06, page 206--217. New York, NY, USA, ACM, (January 2006)
R. Hinze, N. Wu, and J. Gibbons. Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming, page 209--220. New York, NY, USA, ACM, (2013)