Program Verification Using Automatic Generation of Invariants, | Publicación