From Z to C : illustration of a rigorous development method. - D. S. Neilson (1989)