An Abstract Model of Certificate Translation | Publicación