Ji-Woong Chang Kyu-Young Whang Young-Koo Lee Jae-Heon Yang Yong-Chul Oh A formal approach to lock escalation. 151-166 2005 30 Inf. Syst. 2 http://dx.doi.org/10.1016/j.is.2003.10.009 db/journals/is/is30.html#ChangWLYO05