Lins, R.
2025 Dec  3.  The Turner 2-Strings Machines. Proceedings of the Brazilian Symposium on Formal Methods (SBMF). [Online] :