Formal specification of autonomous commerce agents | Publicación