Ban, Doan, 		Ngu, Nguyen, AND 		Huong, Ho.
" Formalising Priority Ceiling Protocol with Dynamic Adjustment of Serialization Order in Real Time Databases" <em>VNU Journal of Science: Mathematics - Physics</em> [Online], Volume 19 Number 1 (15 March 2003)