及贾可皮尼的证明.伯姆及贾可皮尼的证明是以流桯图的结构归纳法为基础，由于用到图模式匹配，其证明在实务上不能当作是演算法，因此开创了此一领域的研究。
相关的讨论及研究.因为伯姆及贾可皮尼建构的方式过于复杂，因此此证明没有回答结构化编程是否适用于软体开发的问题，而是引发了后续相关的讨论及争议。在两年之后的1968年，艾兹赫尔·戴克斯特拉就提出着名的「GOTO有害论」。有些学者试图使伯姆及贾可皮尼的研究结果更加纯粹，因为其论文中没有用到从回圈中间跳出回圈的codice_2及codi