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