"History-Dependent Automata: An Introduction."

Ugo Montanari, Marco Pistore (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics