Next:
Further Generalisations
Up:
Refinement in Z and
Previous:
Bibliographical Notes
Case Study: A Digital and Analogue Watch
E.A.Boiten 2002-11-22
