Generating specialized interpreters for modular structural operational semantics - Peter Mosses (2014)