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