Principles of programming languages 5: An operational semantics of a small subset of C Department of Information Science and Engineering Isao Sasano.