More powerful Z data refinement: pushing the state of the art in industrial refinement (1998)

by S Stepney, D Cooper, J Woodcock
Venue:11th International Conference of Z Users