1. Siddharth Agarwal. 2012. Functional SMT solving: A new interface for programmers. Master’s thesis, Indian Institute of Technology Kanpur (2012).
2. Markus Aronsson and Mary Sheeran. 2017. Hardware Software Codesign in Haskell. In Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell (Haskell 2017). ACM, New York, NY, USA, 162–173.
3. Henk P Barendregt. 1992. Lambda calculi with types. (1992).
4. Clark Barrett, Christopher L. Conway, Morgan Deters, Liana Hadarean, Dejan Jovanovi’c, Tim King, Andrew Reynolds, and Cesare Tinelli. 2011. CVC4. In Proceedings of the 23rd International Conference on Computer Aided Verification (CAV ’11) (Lecture Notes in Computer Science), Ganesh Gopalakrishnan and Shaz Qadeer (Eds.), Vol. 6806. Springer, 171–177. http://www.cs.stanford.edu/~barrett/pubs/BCD+11.pdf Snowbird, Utah.
5. Clark Barrett, Pascal Fontaine, and Cesare Tinelli. 2017. The SMT-LIB Standard 2.6. 103. http://smtlib.cs.uiowa.edu/papers/smt-libreference-v2.6-r2017-07-18.pdf