Symbolic Analysis Tools -- The State-Of-The-Art (1996)

by Francisco V. Fernández, Angel Rodríguez-Vázquez