A verification of the Bakery protocol combining algebraic and model-oriented techniques - Brovedani, Claudia; Klusener, A. Steven (Centrum voor Wiskunde en Informatica, 1996)
Literaturverz. S. 14