Deriving pretty-big-step semantics from small-step semantics - Peter Mosses (Springer, 2014)