Stephen Cole Kleene, « Representation of events in nerve nets and finite automata. », dans Claude Elwood Shannon et John McCarthy, Automata Studies, vol. 34, Princeton, NJ, Princeton University Press, coll. « Annals of Mathematics Studies », (lire en ligne), p. 3 -- 41.