"ZUM'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings " - читать интересную книгу автора (Jonathan P. Bowen, Michael G. Hinchey, David Till)