Ban, Đoàn Văn, and Hồ Văn Hương. “A Formal Specification of the Correctness Criteria for Concurrent Executions of a Transaction System in Real Time Databases”. Journal of Computer Science and Cybernetics 19, no. 3 (July 27, 2012): 263–273. Accessed May 3, 2024. https://vjs.ac.vn/index.php/jcc/article/view/1533.