APA (7th ed.) Citation

Hesselink, W. H. (2013). Mechanical verification of Lamport’s Bakery algorithm. Science of computer programming, 78(9), 1622-1638. https://doi.org/10.1016/j.scico.2013.03.003

Chicago Style (17th ed.) Citation

Hesselink, Wim H. "Mechanical Verification of Lamport’s Bakery Algorithm." Science of Computer Programming 78, no. 9 (2013): 1622-1638. https://doi.org/10.1016/j.scico.2013.03.003.

MLA (9th ed.) Citation

Hesselink, Wim H. "Mechanical Verification of Lamport’s Bakery Algorithm." Science of Computer Programming, vol. 78, no. 9, 2013, pp. 1622-1638, https://doi.org/10.1016/j.scico.2013.03.003.