Hương, Hồ Văn. “A Normal Specification of the Abort-Oriented Concurency Control for Real-Time Database in Duration Calculus”. Journal of Computer Science and Cybernetics 19, no. 1 (July 26, 2012): 78–90. Accessed November 22, 2024. https://vjs.ac.vn/index.php/jcc/article/view/1523.