Tài liệu bồi dưỡng thường xuyên giáo viên trung học, sử dụng cho kỹ sư và sinh viên các ngành toán - toán tin - kỹ thuật Logic toán - Nguyễn, Đức Đồng (Nxb Thanh Hóa, 2001)