Ban, D., Ngu, N., & Huong, H. 2003 Mar 15. Formalising Priority Ceiling Protocol with Dynamic Adjustment of Serialization Order in Real Time Databases. VNU Journal of Science: Mathematics - Physics. [Online] 19:1