APA 6th Edition

Botinčan, M. (2005). AsmL Specification and Verification of Lamport’s Bakery Algorithm. Journal of computing and information technology, 13 (4), 313-319. https://doi.org/10.2498/cit.2005.04.09

---

MLA 8th Edition

Botinčan, Matko. "AsmL Specification and Verification of Lamport’s Bakery Algorithm." Journal of computing and information technology, vol. 13, no. 4, 2005, pp. 313-319. https://doi.org/10.2498/cit.2005.04.09. Accessed 3 Jan. 2025.

---

Chicago 17th Edition

Botinčan, Matko. "AsmL Specification and Verification of Lamport’s Bakery Algorithm." Journal of computing and information technology 13, no. 4 (2005): 313-319. https://doi.org/10.2498/cit.2005.04.09

---

Harvard

Botinčan, M. (2005). 'AsmL Specification and Verification of Lamport’s Bakery Algorithm', Journal of computing and information technology, 13(4), pp. 313-319. https://doi.org/10.2498/cit.2005.04.09

---

Vancouver

Botinčan M. AsmL Specification and Verification of Lamport’s Bakery Algorithm. Journal of computing and information technology [Internet]. 2005 [cited 2025 January 03];13(4):313-319. https://doi.org/10.2498/cit.2005.04.09

---

IEEE

M. Botinčan, "AsmL Specification and Verification of Lamport’s Bakery Algorithm", Journal of computing and information technology, vol.13, no. 4, pp. 313-319, 2005. [Online]. https://doi.org/10.2498/cit.2005.04.09