1. Michael Gordon Abbott, Thorsten Altenkirch, Neil Ghani, and Conor McBride. 2003. Derivatives of Containers. InTyped Lambda Calculi and Applications, 6th International Conference, TLCA 2003, Valencia, Spain, June 10--12, 2003, Proceedings. (Lecture Notes in Computer Science), Martin Hofmann (Ed.), Vol. 2701. Springer, 16--30.
2. Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. 1986.Compilers: Principles, Techniques, and Tools.Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA.
3. Andrea Asperti, Claudio Sacerdoti Coen, and Enrico Tassi. 2010. Regular Expressions, au point.CoRRabs/1010.2604 (2010). arXiv:1010.2604 http://arxiv.org/abs/1010.2604
4. Yves Bertot and Pierre Castran. 2010.Interactive Theorem Proving and Program Development: Coq'Art The Calculus of Inductive Constructions(1st ed.). Springer Publishing Company, Incorporated.
5. Koen Claessen and John Hughes. 2000. QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs. InProceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00).ACM, New York, NY, USA, 268--279.