Phân hoạch tập Semi-đại số theo quan điểm thiết kế - Trương, Đình Phong (Trường Đại học Đà Lạt, 2010)