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