Title: A practical formalsemantic definition and verification system for TYPED LISP
Subjects: LISP (Computer program language)