"The Z Notation: A Reference Manual (Prentice-Hall International Series in Computer Science)" - читать интересную книгу автора (J. M. Spivey)