Deepak Kapur: Computer Mathematics, 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers. Lecture Notes in Computer Science 5081, Springer 2008, ISBN 978-3-540-87826-1