A structural approach to operational semantics
(1981) : Plotkin, Gordon GD
url: https://www.alice.virginia.edu/~weimer/2006-655/reading/plotkin81structural.pdf
#dissertation #operational_semantics #semantics #transition_system
#my_bibtex