Anis Ahmed Nacer: Composition sure d'API fondée sur des contrats. (Sure composition of API's based on contracts). University of Lorraine, Nancy, France 2021