Computer Mathematics 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers - Kapur, Deepak (Springer Berlin Heidelberg, 2008)