Slicing from Formal Semantics: Chisel | Publicación