Come dimostrato dal teorema di Böhm-Jacopini, un'attenta scrittura del codice può evitare di ricorrere a istruzioni GOTO, anche se è a volte necessario introdurre variabili aggiuntive o un ulteriore costrutto logico.
kˌome dimostrˈato dal teorˈɛma dɪ bˈɔmdʒakopˈinɪ, ʊnatːˈɛnta skritːˈura del kˈɔditʃe pʊˈɔ evitˈare dɪ rikˈɔrɾere a istrʊtsiˈonɪ ɡˈɔto, ˌanke se e a vˈɔlte netʃessˈario introdˈurɾe variˈabilɪ adʒːʊntˈive o ʊn ʊlteriˈore kostrˈutːo lˈɔdʒiko.