Algebraic Techniques in Software Development: A Review of Progress up to the Mid Nineties.

Hartmut Ehrig Bernd Mahr Algebraic Techniques in Software Development: A Review of Progress up to the Mid Nineties. 134-152 2001 Current Trends in Theoretical Computer Science db/books/collections/PhaunRS2001.html#EhrigM01a