Julien Cervelle Enrico Formenti Pierre Guillon Sofic Trace Subshift of a Cellular Automaton. 152-161 2007 conf/cie/2007 CiE http://dx.doi.org/10.1007/978-3-540-73001-9_16 db/conf/cie/cie2007.html#CervelleFG07