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