Estudio de relaciones entre la teoria de autómatas , la lógica de segundo orden y el mu-cálculo (2008)
Existe copia en microficha