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