@inproceedings(AmighiBHZ12,
 author       = "A. Amighi and S. Blom and M. Huisman and M. Zaharieva-Stojanovski",
 year         = "2012",
 title        = "The {VerCors} Project: Setting Up Basecamp",
 booktitle    = "Programming Languages meets Program Verification (PLPV 2012)",
 publisher    = "ACM Press",
 pages        = "71--82",
 doi          = "10.1145/2103776.2103785",
)
@article(Dovland:2008,
 author       = "J. Dovland and E. Broch Johnsen and O. Owe",
 year         = "2008",
 title        = "Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects",
 journal      = "ENTCS",
 volume       = "203",
 pages        = "19--34",
 doi          = "10.1016/j.entcs.2008.04.084",
)
@inproceedings(linown11,
 author       = "A. Gotsman and H. Yang",
 year         = "2011",
 title        = "The Importance of Being Linearizable",
 note         = "(Submitted)",
)
@article(Haack76303,
 author       = "C. Haack and M. Huisman and C. Hurlin",
 year         = "2011",
 title        = "Permission-Based Separation Logic for Multithreaded Java Programs",
 journal      = "Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica",
 volume       = "15",
 pages        = "13--23",
)
@manual(LeavensPCCRCMKC07,
 author       = "G.T. Leavens and E. Poll and C. Clifton and Y. Cheon and C. Ruby and D. R. Cok and P. M{\"u}ller and J. Kiniry and P. Chalin",
 year         = "2007",
 title        = "{JML Reference Manual}",
 note         = "Dept. of Computer Science, Iowa State University. Available from {\url {http://www.jmlspecs.org}}",
)
@inproceedings(OHearnRY01,
 author       = "P. W. O'Hearn and J. Reynolds and H. Yang",
 year         = "2001",
 title        = "Local Reasoning about Programs that Alter Data Structures",
 editor       = "L. Fribourg",
 booktitle    = "Computer Science Logic",
 series       = "LNCS",
 volume       = "2142",
 publisher    = "Springer-Verlag",
 pages        = "1--19",
 doi          = "10.1007/3-540-44802-0_1",
)
@article(OwickiG75,
 author       = "S. Owicki and D. Gries",
 year         = "1975",
 title        = "An Axiomatic Proof Technique for Parallel Programs",
 journal      = "Acta Informatica Journal",
 volume       = "6",
 pages        = "319--340",
 doi          = "10.1007/BF00268134",
)
@inproceedings(Reynolds02separationlogic,
 author       = "J.C. Reynolds",
 year         = "2002",
 title        = "Separation Logic: A Logic for Shared Mutable Data Structures",
 booktitle    = "Logic in Computer Science",
 publisher    = "IEEE Computer Society",
 pages        = "55--74",
 doi          = "10.1109/LICS.2002.1029817",
)
@inproceedings(SchellhornTER11,
 author       = "G. Schellhorn and B. Tofan and G. Ernst and W. Reif",
 year         = "2011",
 title        = "Interleaved Programs and Rely-Guarantee Reasoning with {ITL}",
 booktitle    = "Proc. of International Symposium on Temporal Representation and Reasoning in AI (TIME)",
 publisher    = "IEEE Press",
 doi          = "10.1109/TIME.2011.12",
 note         = "To appear",
)
@article(Soundararajan83,
 author       = "N. Soundararajan",
 year         = "1983",
 title        = "Correctness Proofs of {CSP} Programs",
 journal      = "Theoretical Computer Science",
 volume       = "24",
 pages        = "131--141",
 doi          = "10.1016/0304-3975(83)90045-2",
)
@inproceedings(Vafeiadis10,
 author       = "Viktor Vafeiadis",
 year         = "2010",
 title        = "Automatically Proving Linearizability",
 booktitle    = "CAV",
 pages        = "450--464",
 doi          = "10.1007/978-3-642-14295-6_40",
)