Aurélien Lamercerie: Principe de transduction sémantique pour l'application de théories d'interfaces sur des documents de spécification. (Semantic Transducer for Interface Theories). University of Rennes 1, France 2021