Michael Johnson, Paul Sanders. From Z Specifications To Functional Implementations. In John E. Nicholls, editor, Proceedings of the Fourth Annual Z User Meeting, Oxford, UK, December 15, 1989. Workshops in Computing, pages 86-112, Springer, 1989. [doi]
@inproceedings{JohnsonS89-1,
title = {From Z Specifications To Functional Implementations},
author = {Michael Johnson and Paul Sanders},
year = {1989},
doi = {10.1007/978-1-4471-3877-8_6},
url = {https://doi.org/10.1007/978-1-4471-3877-8_6},
researchr = {https://researchr.org/publication/JohnsonS89-1},
cites = {0},
citedby = {0},
pages = {86-112},
booktitle = {Proceedings of the Fourth Annual Z User Meeting, Oxford, UK, December 15, 1989},
editor = {John E. Nicholls},
series = {Workshops in Computing},
publisher = {Springer},
isbn = {978-3-540-19627-3},
}