1. ISO/IEC 13568:2002. Information technology - Z formal specification notation - syntax, type system and semantics. International Standard
2. Arthan, R., Jones, R.B.: Z in HOL in ProofPower. FACS FACTS 2005(1), 39–55 (2005). www.bcs.org/upload/pdf/facts200503-compressed.pdf
3. Attala, Z., Cavalcanti, A.L.C., Woodcock, J.C.P.: A comparison of neural network tools for the verification of linear specifications of ReLU networks. In: Albarghouthi, A., Katz, G., Narodytska, N. (eds.) 3rd Workshop on Formal Methods for ML-Enabled Autonomous System, pp. 22–33 (2020)
4. Baxter, J., Ribeiro, P., Cavalcanti, A.L.C.: Sound reasoning in tock-CSP. Acta Informatica (2021). online April 2021
5. Burdy, L., et al.: An overview of JML tools and applications. Softw. Tools Technol. Transfer 7(3), 212–232 (2005)