The Bakery Algorithm: yet another specification and verification - Rosenzweig, Dean (1995)