Ingrid Rewitzky, Chris Brink. Unification of Four Versions of Program Semantics. Formal Asp. Comput., 10(1):1-29, 1998.
@article{RewitzkyB98, title = {Unification of Four Versions of Program Semantics}, author = {Ingrid Rewitzky and Chris Brink}, year = {1998}, tags = {semantics}, researchr = {https://researchr.org/publication/RewitzkyB98}, cites = {0}, citedby = {0}, journal = {Formal Asp. Comput.}, volume = {10}, number = {1}, pages = {1-29}, }