Egidio Astesiano Alessandro Giovini Franco Morando Gianna Reggio Algebraic Specification at Work. 26-42 1991 conf/amast/1991 AMAST db/conf/amast/amast1991.html#AstesianoGMR91