Ban, Đoàn Văn, and Hồ Văn Hương. 2012. “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 (3):263-73. https://doi.org/10.15625/1813-9663/19/3/1533.