[CST-2] Spec&Ver I 2000/7/1

Jamie Shotton jdjs2@cam.ac.uk
Mon, 27 May 2002 17:38:38 +0100


> Probably a few examples will do (?) e.g. for IF, ASSIGN, and 
> WHILE... And demonstration of the general principle.  I think.
                               /\
                         understanding of

Soz.