Thủy, N. T. Thiết Kế các ngôn ngữ Mô Tả Và xây dựng Cơ sở Tri thức Cho các phần mềm trợ Giúp giải bài toán hình học. JCC 2016, 12, 30-40.