AsmL specification and verification of lamport's Bakery algorithm - Botinčan, Matko (Array, 2005)