From: Arjan on
Thanks for the data people!
I wasn't very clear - I wanted general info, but explanations of
specific constructs - not goto per se - would be nice.

With your references, I'll be able to find more. Thanks.

(I am wondering how to fill 'hundreds of papers' with axiomatic
definitions of a few programming constructs, but I expect that
will be clearer after reading the first two or three!)


Regards,
Arjan