Ait Lahcen, A.; Parigot, D.; Mouline, S. Data-Dependency Formalism for Developing Peer-to-Peer Applications. Comput. Inform. 2017, 36, 353-385.