@article{https://resolver.caltech.edu/CaltechCSTR:1982.5046-tr-82,
    title = "An Axiomatic Definition of Synchronization Primitives",
    journal = "Acta Informatica",
    publisher = "Springer-Verlag",
    url = "https://resolver.caltech.edu/CaltechCSTR:1982.5046-tr-82",
    id = "record",
    issn = "0001-5903",
    doi = "10.1007/BF00261260",
    volume = "16",
    number = "2"
}