Anh, D. T. (2018) “Phép chuyển từ đặc tả ẩn tang thành chương trình logic”, Journal of Computer Science and Cybernetics, 5(3), p. 24–28. doi: 10.15625/1813-9663/5/3/11177.