Robert Cartwright: A practical formal semantic definition and verification system for TYPED LISP. Stanford University, USA 1977