Jinjiang Lei, Zongyan Qiu: Verification of Scalable Synchronous Queue. CPP 2011: 247-263