T. Fernando, “Steedman’s Temporality Proposal and Finite Automata”, Proceedings of the AC, pp. 282–291, Dec. 2011, doi: 10.53437/yyds9473.