Semantics of algol-like statements
1971 ◽
pp. 117-177
◽