Ugo Montanari Marco Pistore History-Dependent Automata: An Introduction. 1-28 2005 conf/sfm/2005 SFM http://dx.doi.org/10.1007/11419822_1 db/conf/sfm/sfm2005.html#MontanariP05