Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation | Publicación