Correctness of object-oriented database schema - Ban, Đoàn Văn (Journal of Computer Science and Cybernetics, 2013)
-