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 4, 2026. https://cip.vast.vn/jcc/article/view/8255.