Skip to main content

From Algebra to Operational Semantics

C. A. R. Hoare‚ Jifeng He and Augusto Sampaio

Note
Longer version of paper in IPL 45(2):75–80‚ 1993‚ doi 10.1016/0020−0190(93)90219−Y; undated
Year
1993?