1966年、BöhmとJacopiniはCommunicationsoftheACM誌で論文を発表し、gotoを使って書かれたプログラムが選択(IFTHENELSE)とループ(WHILEconditionDOxxx)のみを使ってgotoを使わずに書き換えられることを示した（コードの一部を複製したり、真理値フラグ変数を追加する必要がある）。
1966年5月CorradoBöhm及GiuseppeJacopini在《CommunicationsoftheACM》期刊发表论文，说明任何一个有goto指令的程式，可以改为完全不使用goto指令的程式，goto指令可以用选择指令（IFTHENELSE）及循环（WHILE特定条件DO特定程序）取代，可能会再多一些重复的程式码及额外的布林变数。