L2∥O2: Operational and Declarative Semantics | Publicación