From Big-Step to Small-Step Semantics and Back with Interpreter Specialisation | Publicación