Towards a Formalisation of Electronic Contracting Environments | Publicación