Flag-based big-step semantics - Peter Mosses (Journal of Logical and Algebraic Methods in Programming, 2017)