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. In Current Trends in Theoretical Computer Science. pages 134-152, 2001.

Abstract

Abstract is missing.