Hương, H. V. (2012). A normal specification of the abort-oriented concurency control for real-time database in duration calculus. Journal of Computer Science and Cybernetics, 19(1), 78–90. https://doi.org/10.15625/1813-9663/19/1/1523