Kenneth R. Wood. A Practical Approach to Software Engineering Using Z and the Refinement Calculus. In SIGSOFT FSE. pages 79-88, 1993. [doi]
@inproceedings{Wood93:2,
title = {A Practical Approach to Software Engineering Using Z and the Refinement Calculus},
author = {Kenneth R. Wood},
year = {1993},
doi = {10.1145/256428.167068},
url = {http://doi.acm.org/10.1145/256428.167068},
tags = {refinement, software engineering, systematic-approach},
researchr = {https://researchr.org/publication/Wood93%3A2},
cites = {0},
citedby = {0},
pages = {79-88},
booktitle = {SIGSOFT FSE},
}