Symbolic Analysis Techniques (1998)

by F V Fernández, A Rodríguez-Vázquez, J L Huertas, G G R Gielen