← Bibliography The Z notation: a reference manual J. Michael Spivey book 1992 Source: z-spec View original ↗ Note The definitive Z reference, by fuzz's creator. Citation Key spivey1992zrm
Open source tools for software engineering teams using AI