Andy Evans. Visualising Concurrent Z Specifications. In Z User Workshop. pages 269-281, 1994.
@inproceedings{Evans94,
title = {Visualising Concurrent Z Specifications},
author = {Andy Evans},
year = {1994},
researchr = {https://researchr.org/publication/Evans94},
cites = {0},
citedby = {0},
pages = {269-281},
booktitle = {Z User Workshop},
}