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 (Feb. 2018), 24–28. DOI:https://doi.org/10.15625/1813-9663/5/3/11177.