A structural approach to operational semantics
 |
 |
apice = {SosTechrep1981},
author = {Gordon D. Plotkin},
institution = {Computer Science Department, Aarhus University},
title = {A structural approach to operational semantics},
year = 1981
}