Object oriented institutions to specify symbolic computation systems | Publicación