implementation and application of automata: 16th international conference, ciaa 2011, blois, france, july 13-16, 2011, proceedings (en Inglés)

bouchou-markhoff, beatrice · springer