Tao, Ngo Quoc. 2016. “Extracting Invariants Based on Coordinate Transformations”. Journal of Computer Science and Cybernetics 9 (4):28-32. https://doi.org/10.15625/1813-9663/9/4/8255.