Experiments in Block-structured GOTO Modelling: exits vs. Continuations.

Dines Bjørner
Published in: Abstract Software Specifications (1979)