John D. Ramsdell
The MITRE Corporation
The C programming language
A framework for programming denotational semantics in C++
ACM SIGPLAN Notices