1. Backhouse, R.: Program Construction: Calculating Implementations from Specifications. John Wiley, Chichester (2003)
2. Claessen, K., Hughes, J.: QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs. In: Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming, Montreal, Canada (September 2000)
3. Gosling, J., Joy, B., Steele, G., Bracha, G.: The Java Language Specification, 2nd edn. Addison-Wesley, Reading (2000)
4. Harrison, W.: Modular Compilers and Their Correctness Proofs. PhD thesis, University of Illinois (2001)
5. Marlow, S., Peyton Jones, S., Moran, A., Reppy, J.: Asynchronous Exceptions In Haskell. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, Snowbird, Utah (June 2001)