1. Bird, R.: Introduction to Functional Programming Using Haskell, 2nd edn. Prentice-Hall, Englewood Cliffs (1998)
2. Carr, H., Holt, R.: The AutoLISP Platform for Computer Aided Design. In: 40th Anniversary of Lisp Conference: Lisp in the Mainstream, Berkeley, California (November 1998)
3. International Standardization for Organizations. Technical committee: ISO/TC 184/SC 1. Numerical control of machines – Program format and definition of address words (September 1982)
4. Hughes, J.: Why Functional Programming Matters. Computer Journal 32(2), 98–107 (1989)
5. Kieburtz, R.: P-logic: Property Verification for Haskell Programs. The Programatica Project (2002),
http://www.cse.ogi.edu/PacSoft/projects/programatica/