Bortin, M.
(2022).
 Synthesis of Implementations for Divide-and-Conquer Specifications.
In <em>Anais do XXV Simpósio Brasileiro de Métodos Formais</em>, (pp. 73-88). Porto Alegre: SBC.