Note
The canonical reference for Z notation formal specification language. Z specifications describe state-machine behavior with mathematical precision. Used in safety-critical systems (railway signaling, nuclear, medical devices).
Citation Key
spivey1989z