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