Towards a Formalisation of Dynamic Electronic Institutions | Publicación