Volver a los detalles del artículo A formal perspective to modelling electronic commerce transactions Descargar Descargar PDF