1. Type inclusion constraints and type inference
2. Wired: Wire-Aware Circuit Design
3. John G. P. Barnes . 2003. High Integrity Software - The SPARK Approach to Safety and Security . Addison-Wesley . isbn:978-0-321-13616-9 http://www.addison-wesley.de/main/main.asp?page=englisch/bookdetails&ProductID=88293 John G. P. Barnes. 2003. High Integrity Software - The SPARK Approach to Safety and Security. Addison-Wesley. isbn:978-0-321-13616-9 http://www.addison-wesley.de/main/main.asp?page=englisch/bookdetails&ProductID=88293
4. Richard S. Bird and Philip Wadler . 1988 . Introduction to functional programming. Prentice Hall . isbn:978-0-13-484197-7 Richard S. Bird and Philip Wadler. 1988. Introduction to functional programming. Prentice Hall. isbn:978-0-13-484197-7
5. Lava