APA (7th ed.) Citation

Cartwright, R. (1976). A practical formal semantic definition and verification system for TYPED LISP. Computer Science Department, Stanford University.

Chicago Style (17th ed.) Citation

Cartwright, Robert. A Practical Formal Semantic Definition and Verification System for TYPED LISP. [Stanford, CA]: Computer Science Department, Stanford University, 1976.

MLA (8th ed.) Citation

Cartwright, Robert. A Practical Formal Semantic Definition and Verification System for TYPED LISP. Computer Science Department, Stanford University, 1976.