Ferreira, A., 		Moreira, N., & 		Portella, L.
2023 Oct  9.  Formal syntax and semantics of "Post Machines" as finite state machines. Proceedings of the Workshop-School on Theoretical Computer Science (WEIT). [Online] :