高德纳
Donald Knuth, in his paper "Structured Programming with Go To Statements", describes two forms of Zahn's construct as follows: