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