现代计算理论的论文。哈雷尔也提到较通用的「结构化程式理论」名称是在1970年代初由提出。
单一while回圈的大众定理版本.此版本的定理将原来定理中的程式控制流程改为一个codice_1回圈，模拟在原来非结构化的程式中，程式计数器走过所有可能标记（流程图方块）的情形。哈雷尔将此版大众定理的源头追溯到两篇论文，一篇是1946年描述冯·诺伊曼结构，用单一while回圈说明程式计数器的运作原理，哈雷尔也注意到大众定理中用到的单一回圈基本上可以提供冯·诺伊曼式电脑执行流程的操作语义。。