T predicate）论文。高德纳批评这种转换后的结果类似以下的伪代码，重点是在此转换中完全破坏了原程式的结构。Bruce Ian Mills也有类似的看法：「块状结构的精神是其风格，不是使用的语言。利用模拟冯·诺伊曼结构的方式，可以将任何一个面条式代码转换为块状结构的语言，但它面条式代码的本质没有改变。」p := 1;while p > 0 do beginend.
伯姆及贾可皮尼的证明.伯姆及贾可皮尼的证明是以流桯图的结构归纳法为基础，由于用到图模式匹配，其证明在实