M. Bortin.
" Synthesis of Implementations for Divide-and-Conquer Specifications", in <em>Anais do XXV Simpósio Brasileiro de Métodos Formais</em>, Evento Online, 2022, pp. 73-88.