Toan, N.C. and Lap, D.V. 2016. On the method of state invariance. Journal of Computer Science and Cybernetics. 11, 2 (Apr. 2016). DOI:https://doi.org/10.15625/1813-9663/11/2/8134.