V. Weisfenning

Titel	ISBN-13 (ISBN-10)	Erschei- nungsjahr	andere Autoren
Symbolic Rewriting Techniques	978-3-7643-59O1-O (3-7643-59O1-3)		M. Bronstein · J. Grabmeier