D.: The Bakery Algorithm: Yet Another Specification and Verification (1995)

by E Börger, Y Gurevich, Rosenzweig
Venue:in: Specification and Validation Methods (E. Börger