Galea, Edwin Richard ORCID: 0000-0002-0001-6665 , Blackshields, Darren ORCID: 0000-0001-8940-0024 , Lawrence, Peter J. ORCID: 0000-0002-0269-0231 , Finney, Kate and Cooney, David ORCID: 0000-0002-2341-0315 (2013) The development and validation of a rail car evacuation. In: Conference Proceedings: Interflam 2013: 13th International Fire Science and Engineering Conference. Interscience Communications, Greenwich, London, UK, pp. 1023-1034. ISBN 9780955654893

Finney, Kate, Rennolls, Keith and Fedorec, Alex (1998) Measuring the comprehensibility of Z specifications. Journal of Systems and Software, 42 (1). pp. 3-15. ISSN 0164-1212 (doi:https://doi.org/10.1016/S0164-1212(98)00003-X)

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)

Finney, Kate (1996) Mathematical notation in formal specification: Too difficult for the masses? [Correspondence]. IEEE Transactions on Software Engineering, 22 (2). pp. 158-159. ISSN 0098-5589 (doi:https://doi.org/10.1109/32.485225)