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