A. Ait Lahcen, D. Parigot, and S. Mouline, “Data-Dependency Formalism for Developing Peer-to-Peer Applications”, Comput. Inform., vol. 36, no. 2, pp. 353–385, Jun. 2017.