Đại số máy tính : - Lê, Tuấn Hoa (Viện Toán học, 2003)