Ver registro no DEDALUS
Exportar registro bibliográfico

Partial actions and automata (2011)