Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity | Publicación