Dean Rosenzweig, Egon Börger, Yuri Gurevich. The bakery algorithm: yet another specification and verification. In Egon Börger, editor, Specification and validation methods. pages 231-243, Oxford University Press, 1993.
@incollection{conf-asm-RosenzweigBG93,
title = {The bakery algorithm: yet another specification and verification},
author = {Dean Rosenzweig and Egon Börger and Yuri Gurevich},
year = {1993},
researchr = {https://researchr.org/publication/conf-asm-RosenzweigBG93},
cites = {0},
citedby = {0},
pages = {231-243},
booktitle = {Specification and validation methods},
editor = {Egon Börger},
publisher = {Oxford University Press},
isbn = {0-19-853854-5},
}