1. Arvidsson, A., Touche, R.: Proving type class laws in Haskell. Master’s thesis, Chalmers University of Technology (2016)
2. Barrett, C., Stump, A., Tinelli, C.: The SMT-LIB standard - version 2.0. In: Proceedings of the 8th International Workshop on Satisfiability Modulo Theories, Edinburgh, Scotland, July 2010
3. Claessen, K., Hughes, J.: QuickCheck: a lightweight tool for random testing of Haskell programs. In: Proceedings of ICFP, pp. 268–279 (2000)
4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);K Claessen,2013
5. Lecture Notes in Computer Science;K Claessen,2010