Hartmut Ehrig The Algebraic Specification Column. 25-26 1987 33 Bulletin of the EATCS db/journals/eatcs/eatcs33.html#Ehrig87