A practical formal semantic definition and verification system for TYPED LISP /

بواسطة Cartwright, Robert, 1949-
منشور في 1976