Anh, Nguyễn Thụy, and Nguyễn Ngọc San. 2013. “Brief on Order-Reduction for Models: A Critical Survey”. Journal of Computer Science and Cybernetics 16 (1):1-14. https://doi.org/10.15625/1813-9663/16/1/2845.