The Octahedron Abstract Domain | Publicación