Turbulence - Zamora Calero, Rafael (Tesis (maestría en lógica matemática y fundamentos de la informática)–Universidad de París Diderot, 2011, 2011)