Algebra, Geometry and Software Systems - Joswig, Michael (Springer Berlin Heidelberg, 2003)