1. American National Standards Institute, New York, NY. ANSI/ISO 9899–1990, American National Standard for Programming Languages: C, 1990. Revision and redesignation of ANSI X3.159-1989.
2. R. Sethi. A case study in specifying the semantics of a programming language. In Proceedings of the 7th Annual ACM Symposium on Principles of Programming Languages, pages 117–130, January 1980.
3. R. Sethi. Control flow aspects of semantics-directed compiling. ACM Transactions on Programming Languages and Systems, 5(4):554–595, October 1983.
4. Y. Gurevich and J. K. Huggins. The semantics of the C programming language. In E. Börger et al., editors, Selected Papers from CSL′92 (Computer Science Logic), volume 702 of Lecture Notes in Computer Science, pages 274–308. Springer Verlag, New York, NY, 1993.
5. [5]J. Cook and S. Subramanian. A formal semantics for C in Nqthm. Technical Report 517D, Trusled Information Systems, October 1994.