@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20201008-131242613,
    title = "Constructive Methods in Computing Science",
    chapter = "Design of Synchronization Algorithms",
    year = "1989",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20201008-131242613",
    id = "record",
    isbn = "9783642748868",
    doi = "10.1007/978-3-642-74884-4\_13"
}