A Language Facilitating Informal Reasoning about Programs.

J. Nelson Rushton, Dwayne Towell

Browse the full SEKE paper archive.