metodologia introdotta alla fine degli anni ’60 e confermata dal teorema di Jacopini-B¨ohm.