Saluti. Dijkstra ha scritto che anche poche righe di codice apparentemente semplice potrebbero essere irrimediabilmente ambigue. In almeno un lavoro, che non riesco a trovare ora per salvarmi la vita, ha dato un piccolo programma di esempio per dimostrare questa ambiguità. Qualcuno può indicarmi un suo foglio in cui include uno di questi esempi?