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), pp. 263–273. doi: 10.15625/1813-9663/19/3/1533.