AsmL specification and verification of lamport's Bakery algorithm - Botinčan, Matko (Array, 2005)
27th International Conference on Information Technology Interfaces, June 20-23, 2005, Cavtat