Finney, Kate and Fenton, Norman (1996) Evaluating the effectiveness of Z: The claims made about CICS and where we go from here. Journal of Systems Software, 35 (3). pp. 209-216. ISSN 0164-1212 (doi:https://doi.org/10.1016/S0164-1212(96)00122-7)