A normal specification of the abort-oriented concurency control for real-time database in duration calculus. - Hương, Hồ Văn (Journal of Computer Science and Cybernetics, 2012)
-