More Powerful Z Data Refinement: pushing the state of the art in industrial refinement (1998)

by Susan Stepney, David Cooper, Jim Woodcock
Venue:in The Z Formal Specification Notation, 11th International Conference of Z Users