Abstract non-interference in a fragment of Java bytecode | Publicación