Ban, Đoàn V., & 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), 263–273. https://doi.org/10.15625/1813-9663/19/3/1533