Towards a formal framework for evaluation of operational semantics (1990)

by Fabio Q B da Silva