Đoàn V. Ban, “Correctness of object-oriented database schema”, J. Comput. Sci. Cybern., vol. 16, no. 3, pp. 7–15, Apr. 2013.