Invariants and Well-Foundedness in Program Algebra.

Ian J. Hayes

Browse the full ICTAC paper archive.