N. Danielsson, J. Hughes, P. Jansson, и J. Gibbons. Conference Record of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, том 41 из POPL '06, стр. 206--217. New York, NY, USA, ACM, (января 2006)
R. Hinze, N. Wu, и J. Gibbons. Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming, стр. 209--220. New York, NY, USA, ACM, (2013)