Anthony MacDonald, David A. Carrington. Some Elements of Z Specification Style: Structuring Techniques. J. UCS, 6(12):1203-1225, 2000. [doi]
@article{MacDonaldC00,
title = {Some Elements of Z Specification Style: Structuring Techniques},
author = {Anthony MacDonald and David A. Carrington},
year = {2000},
url = {http://www.jucs.org/jucs_6_12/some_elements_of_z},
researchr = {https://researchr.org/publication/MacDonaldC00},
cites = {0},
citedby = {0},
journal = {J. UCS},
volume = {6},
number = {12},
pages = {1203-1225},
}