Algebraic derivation of an operational semantics
C. A. R. Hoare‚ Jifeng He and Augusto Sampaio
Book Title
Proof‚ Language‚ and Interaction‚ Essays in Honour of Robin Milner
Editor
Gordon D. Plotkin and Colin Stirling and Mads Tofte
Pages
77−98
Publisher
The MIT Press
Year
2000