Recent Trends in Algebraic Development Techniques

Wirsing, Martin; Pattinson, Dirk; Hennicker, Rolf