Ban, Đoàn V., and H. V. 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, vol. 19, no. 3, July 2012, pp. 263-7, doi:10.15625/1813-9663/19/3/1533.