Cabello Quintero, Adán (2002) Pruebas algebraicas de imposibilidad de variables ocultas en mecánica cuántica. Tesis PhD.