Anthony MacDonald
Department of Computer Science and Electrical Engineering, and Software Verification Research Centre, The University of Queensland, Australia
A. MacDonald, D. Carrington: Some Elements of Z Specification Style: Structuring Techniques /jucs_6_12/some_elements_of_z