1. Augustsson, L.: Equality proofs in Cayenne (1999),
http://tinyurl.com/Aug99eqproof
(accessed January 3, 2014)
2. Berghammer, R., Schmidt, G., Zierer, H.: Symmetric Quotients. Technical Report TUM-INFO 8620, Technische Universität München, Fakultät für Informatik, 18 p. (1986)
3. Berghammer, R., Schmidt, G., Zierer, H.: Symmetric Quotients and Domain Constructions. Inform. Process. Lett. 33, 163–168 (1989)
4. Bird, R.S., de Moor, O.: Algebra of Programming. International Series in Computer Science, vol. 100. Prentice Hall (1997)
5. Danielsson, N.A. et al.: Agda Standard Library, Version 0.7 (2013),
http://tinyurl.com/AgdaStdlib