Structuring the verification of heap-manipulating programs | Publicación