Hartmut Ehrig Bernd Mahr Algebraic Techniques in Software Development. 1996 58 Bulletin of the EATCS db/journals/eatcs/eatcs58.html#EhrigM96