The Simulation Relation for Formal E-Contracts | Publicación