A linguistic contribution to GOTO-less programming

Dans la querelle des programmes avec ou sans GOTO, l'auteur propose une instruction COME...FROM qui constitue une contribution importante en informatique, en particulier dans le domaine de la demonstration automatique des programmes