1. Bird, R.S., Wadler, P.: Introduction to functional programming. In: Prentice Hall International series in computer science (1988)
2. Burstall, R.M.: Some techniques for proving correctness of programs which alter data structures. Machine Intell. 7(23–50), 3 (1972)
3. Dannowski, U.: L4Ka Hazelnut. https://github.com/l4ka/hazelnut. Accessed 01 July 2021
4. Greenaway, D.: Automated proof-producing abstraction of C code, Ph.D. thesis, UNSW Sydney (2014)
5. Greenaway, D., Lim, J., Andronick, J., Klein, G.: Don’t sweat the small stuff: formal verification of c code without the pain. In: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation (2014)