A bug in the bakery algorithm (1977)

by L LAMPORT