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