冯·诺伊曼结构的方式，可以将任何一个面条式代码转换为块状结构的语言，但它面条式代码的本质没有改变。」p := 1;while p > 0 do beginend.
伯姆及贾可皮尼的证明.伯姆及贾可皮尼的证明是以流桯图的结构归纳法为基础，由于用到图模式匹配，其证明在实务上不能当作是演算法，因此开创了此一领域的研究。
相关的讨论及研究.因为伯姆及贾可皮尼建构的方式过于复杂，因此此证明没有回答结构化编程是否适用于软体开发的问题，而是引发了后续相关的讨论及争