Algebraic Specification through Expression Transformation | Publicación