@article(BrookesSepLogic07,
 author       = {S. Brookes},
 year         = {2007},
 title        = {A semantics for concurrent separation logic},
 journal      = {Theoretical Computer Science},
 volume       = {375},
 number       = {1--3},
 pages        = {227--270},
 doi          = {10.1016/j.tcs.2006.12.034},
)
@article(DaSMfaWSLwC,
 author       = {R. J. Colvin and I. J. Hayes and L. A. Meinicke},
 year         = {2016},
 title        = {Designing a semantic model for a wide-spectrum language with concurrency},
 journal      = {Formal Aspects of Computing},
 volume       = {29},
 pages        = {853--875},
 doi          = {10.1007/s00165-017-0416-4},
)
@inproceedings(Floyd67,
 author       = {R. W. Floyd},
 year         = {1967},
 title        = {Assigning meanings to programs},
 booktitle    = {Proceedings of Symposia in Applied Mathematics: Math. Aspects of Comput. Sci.},
 volume       = {19},
 pages        = {19--32},
 doi          = {10.1090/psapm/019/0235771},
)
@article(AFfGRGRACP,
 author       = {I. J. Hayes},
 year         = {2016},
 title        = {Generalised rely-guarantee concurrency: An algebraic foundation},
 journal      = {Formal Aspects of Computing},
 volume       = {28},
 number       = {6},
 pages        = {1057--1078},
 doi          = {10.1007/s00165-016-0384-0},
)
@inproceedings(FM2016atomicSteps,
 author       = {I. J. Hayes and R. J. Colvin and L. A. Meinicke and K. Winter and A. Velykis},
 year         = {2016},
 title        = {An algebra of synchronous atomic steps},
 editor       = {J. Fitzgerald and C. Heitmeyer and S. Gnesi and A. Philippou},
 booktitle    = {FM 2016: Formal Methods: 21st International Symposium, Proceedings},
 series       = {LNCS},
 volume       = {9995},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {352--369},
 doi          = {10.1007/978-3-319-48989-6_22},
)
@techreport(HayesJonesColvin14TR,
 author       = {I. J. Hayes and C. B. Jones and R. J. Colvin},
 year         = {2014},
 title        = {Laws and semantics for rely-guarantee refinement},
 type         = {Technical Report},
 number       = {CS-TR-1425},
 institution  = {Newcastle University},
)
@article(FMJournalAtomicSteps,
 author       = {Ian J. Hayes and Larissa A. Meinicke and Kirsten Winter and Robert J. Colvin},
 year         = {2018},
 title        = {A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency},
 journal      = {Formal Aspects of Computing},
 doi          = {10.1007/s00165-018-0464-4},
 note         = {Online 6 August 2018},
)
@article(HW90,
 author       = {Maurice Herlihy and Jeannette M. Wing},
 year         = {1990},
 title        = {Linearizability: A Correctness Condition for Concurrent Objects.},
 journal      = {ACM Trans. Program. Lang. Syst.},
 volume       = {12},
 number       = {3},
 pages        = {463--492},
 doi          = {10.1145/78969.78972},
)
@article(Hoare69a,
 author       = {C. A. R. Hoare},
 year         = {1969},
 title        = {An Axiomatic Basis for Computer Programming},
 journal      = {Communications of the ACM},
 volume       = {12},
 number       = {10},
 pages        = {576--580, 583},
 doi          = {10.1145/363235.363259},
)
@inproceedings(Hoare71g,
 author       = {C. A. R. Hoare},
 year         = {1972},
 title        = {Towards a Theory of Parallel Programming},
 booktitle    = {Operating System Techniques},
 publisher    = {Academic Press},
 pages        = {61--71},
)
@article(Hoare75,
 author       = {C. A. R. Hoare},
 year         = {1975},
 title        = {Parallel programming: an axiomatic approach},
 journal      = {Computer Languages},
 volume       = {1},
 number       = {2},
 pages        = {151--160},
 doi          = {10.1016/0096-0551(75)90014-4},
)
@phdthesis(Jones81d,
 author       = {C. B. Jones},
 year         = {1981},
 title        = {Development Methods for Computer Programs including a Notion of Interference},
 school       = {Oxford University},
 note         = {Available as: Oxford University Computing Laboratory (now Computer Science) Technical Monograph PRG-25},
)
@inproceedings(Jones83a,
 author       = {C. B. Jones},
 year         = {1983},
 title        = {Specification and Design of (Parallel) Programs},
 booktitle    = {Proceedings of IFIP'83},
 publisher    = {North-Holland},
 pages        = {321--332},
)
@article(Jones83b,
 author       = {C. B. Jones},
 year         = {1983},
 title        = {Tentative Steps Toward a Development Method for Interfering Programs},
 journal      = {ACM ToPLaS},
 volume       = {5},
 number       = {4},
 pages        = {596--619},
 doi          = {10.1145/69575.69577},
)
@article(LiangFengPOPL18,
 author       = {Hongjin Liang and Xinyu Feng},
 year         = {2018},
 title        = {Progress of Concurrent Objects with Partial Methods},
 journal      = {Proc. ACM Program. Lang.},
 volume       = {2},
 number       = {POPL},
 pages        = {20:1--20:31},
 doi          = {10.1145/3158108},
)
@article(TSS,
 author       = {C. C. Morgan},
 year         = {1988},
 title        = {The Specification Statement},
 journal      = {ACM Trans.\ Prog.\ Lang.\ and Sys.},
 volume       = {10},
 number       = {3},
 pages        = {403--419},
 doi          = {10.1145/44501.44503},
)
@book(Morgan94,
 author       = {C. C. Morgan},
 year         = {1994},
 title        = {Programming from Specifications},
 edition      = {second},
 publisher    = {Prentice Hall},
)
@article(OHearn07,
 author       = {P. W. O'Hearn},
 year         = {2007},
 title        = {Resources, Concurrency and Local Reasoning},
 journal      = {Theoretical Computer Science},
 volume       = {375},
 number       = {1-3},
 pages        = {271--307},
 doi          = {10.1016/j.tcs.2006.12.035},
)
@phdthesis(Owicki75,
 author       = {S. Owicki},
 year         = {1975},
 title        = {Axiomatic Proof Techniques for Parallel Programs},
 school       = {Department of Computer Science, Cornell University},
)
@article(OwickiGries76,
 author       = {S. S. Owicki and D. Gries},
 year         = {1976},
 title        = {An axiomatic proof technique for parallel programs {I}},
 journal      = {Acta Informatica},
 volume       = {6},
 number       = {4},
 pages        = {319--340},
 doi          = {10.1007/BF00268134},
)
@article(OwickiGries-CACM-76,
 author       = {Susan Owicki and David Gries},
 year         = {1976},
 title        = {Verifying Properties of Parallel Programs: An Axiomatic Approach},
 journal      = {Commun. ACM},
 volume       = {19},
 number       = {5},
 pages        = {279--285},
 doi          = {10.1145/360051.360224},
)
@book(Scott13,
 author       = {Michael L. Scott},
 year         = {2013},
 title        = {Shared-Memory Synchronization},
 publisher    = {Morgan \& Claypool Publishers},
)
@techreport(Treiber86,
 author       = {R. K. Treiber},
 year         = {1986},
 title        = {Systems Programming: Coping with Parallelism.},
 type         = {Technical Report},
 number       = {RJ 5118},
 institution  = {IBM Almaden Research Center},
)
@techreport(Wickerson10-TR,
 author       = {J. Wickerson and M. Dodds and M. J. Parkinson},
 year         = {2010},
 title        = {Explicit stabilisation for modular rely-guarantee reasoning},
 type         = {Technical Report},
 number       = {774},
 institution  = {Computer Laboratory, University of Cambridge},
)
@inproceedings(DBLP:conf/esop/WickersonDP10,
 author       = {J. Wickerson and M. Dodds and M. J. Parkinson},
 year         = {2010},
 title        = {Explicit Stabilisation for Modular Rely-Guarantee Reasoning},
 editor       = {A. D. Gordon},
 booktitle    = {ESOP},
 series       = {LNCS},
 volume       = {6012},
 publisher    = {Springer},
 pages        = {610--629},
 url          = {http://dx.doi.org/10.1007/978-3-642-11957-6_32},
)