Working Documents of the ADVANCE Project Team
AutomataAndArrays-01.ps.gz
-- a working document on automata with arrays (T. Vojnar, A. Bouajjani)