Hương, Hồ Văn. 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.