Modular structural operational semantics (2004)

by Peter D Mosses
Venue:Journal of Logic and Algebraic Programming (JLAP