Ferreira, Ana Paula, 		Moreira, Nicholas, AND 		Portella, Lourenço.
" Formal syntax and semantics of "Post Machines" as finite state machines" <em>Proceedings of the Workshop-School on Theoretical Computer Science (WEIT)</em> [Online], (9 October 2023)