Giuseppe Jacopini
发表
Giuseppe Jacopini,
G. Jacopini,
1975,
Lambda-Calculus and Computer Science Theory.
Corrado Böhm,
Giuseppe Jacopini,
C. Böhm,
1966,
CACM.