Procedural Programming Criteria: P2 Task: 1.2 Thomas Jazwinski.
An Introduction to C++ COP 4331: OO Processes for Software Development © Dr. David A. Workman School of EE and Computer Science University of Central Florida.
The environment-based operational semantics Chapter 4.3 1.
The environment-based operational semantics