"ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings " - читать интересную книгу автора (Jonathan P. Bowen, Michael G. Hinchey)