Richard Statman Marginalia to a Theorem of Jacopini. 117-121 2001 45 Fundam. Inform. 1-2 db/journals/fuin/fuin45.html#Statman01