Ferreira, Ana Paula, Nicholas Cortez Moreira, and Lourenço Nataniel Pinheiro Portella.
" Formal syntax and semantics of "Post Machines" as finite state machines." <em>Proceedings of the 7th Workshop-School of Theoretical Computer Science,
Rio Grande/RS, 2023</em>. SBC, 2023,  
pp.111-119.