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 (Jul. 2012), 78–90. DOI:https://doi.org/10.15625/1813-9663/19/1/1523.