Kwok-bun Yue Sadegh Davari Ted Leibfried Priority Ceiling Protocol in Ada. 3-9 1996 TRI-Ada http://doi.acm.org/10.1145/240678.240679 db/conf/sigada/triada96.html#YueDL96