A Model for Programming Language Semantics - Hoare, C (1975)