王东明主编，
杨路、李志斌、侯晓荣、陈发来、夏壁灿、支丽红编著：
符号计算选讲. 清华大学出版社，北京 (2003).

王东明著：
消去法及其应用. 科学出版社，北京 (2002).