Tao, Ngo Quoc. “Extracting Invariants Based on Coordinate Transformations”. Journal of Computer Science and Cybernetics 9, no. 4 (April 26, 2016): 28–32. Accessed April 28, 2025. https://vjs.ac.vn/jcc/article/view/8255.