Link: https://dl.acm.org/doi/abs/10.1145/69624.357207
For an easier understanding of Lamport queue, read this paper instead: https://dl.acm.org/doi/10.1145/1345206.1345215