next up previous
Next: Bibliographical Notes Up: Refinement in Z and Previous: Case Study: A Digital


Further Generalisations


Subsections
E.A.Boiten 2002-11-22