Enviar aquest missatge de text: Algebraic specification techniques in object oriented programming environments / R. Breu.