J. C. P. Woodcock, Jim Davies. Using Z - specification, refinement, and proof. Prentice Hall international series in computer science, Prentice Hall, 1996.
@book{0072139,
title = {Using Z - specification, refinement, and proof},
author = {J. C. P. Woodcock and Jim Davies},
year = {1996},
researchr = {https://researchr.org/publication/0072139},
cites = {0},
citedby = {0},
series = {Prentice Hall international series in computer science},
publisher = {Prentice Hall},
isbn = {978-0-13-948472-8},
}