A calculator/rewriter for Dijkstra's
guarded command language.
It is written using
Inspired by Edward Cohen's book on program derivation
Programming in the 1990's
An Introduction to the Calculation of Programs
is a toy mail reader which uses
as its message store.