The rely-guarantee method for verifying shared variable concurrent programs | Publicación