Buchner, Axel and Funke, Joachim  (1993) Finite state automata: Dynamic task environments in problem solving research.  [Journal (Paginated)]