Arthur Charguéraud: Pretty-Big-Step Semantics. ESOP 2013: 41-60