Operational semantics for declarative multi-paradigm languages | Publicación