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