Вирт не смахивает на теоретика, готового обсуждать ради обсуждения.
Не сомневаюсь, что он это (WHILE Дейкстры) обкатал на очередном проекте.

Если же мы не можем (и не готовы) понять эту великую идею, то это может потому, что сами пишем одни while'ы, да for'ы.
С нашим то опытом (for-break'ов) требовать "доказательств лучшей читабельности цикла Дейкстры"!?