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