His thesis was titled, "Fixed Points of Recursive Programs and their Relation in Differential Agard Calculus".
Его диссертация носила заголовок "«Fixed Points of Recursive Programs and their Relation in Differential Agard Calculus»".