Prototyping object oriented specifications in an algebraic environment | Publicación