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”. <i>Journal of Computer Science and Cybernetics</i> 19, no. 3 (July 27, 2012): 263–273. Accessed January 11, 2026. https://jcc.vast.vn/jcc/article/view/1533.