Philip Holman James H. Anderson Locking under Pfair scheduling. 140-174 2006 24 ACM Trans. Comput. Syst. 2 http://doi.acm.org/10.1145/1132026.1132028 db/journals/tocs/tocs24.html#HolmanA06