Güdemann, Matthias, and Klaus Riedl.
" Level-Up - From Bits to Words." <em>Anais do XXV Simpósio Brasileiro de Métodos Formais,
Evento Online, 2022</em>. SBC, 2022,  
pp.124-142.