Anh, D. N. “Knowledge Based Refinement”. Journal of Computer Science and Cybernetics, vol. 10, no. 4, Apr. 2016, p. 1-10, doi:10.15625/1813-9663/10/4/8197.