ハレルは、より一般的な名前は1970年代初頭に構造化定理（TheStructureTheorem）としてIBMの研究員ハーラン・ミルズ（英語版）によって提案されたとも書いている。
哈雷尔也提到较通用的“结构化程式理论”名称是在1970年代初由哈伦·米尔斯（英语：HarlanMills）提出。