next up previous
Next: Errata Up: Refinement in Z and Previous: Refinement in Z and


An Introduction to Z


Subsections
E.A.Boiten 2002-11-22