Z: An Introduction to Formal Methods
Antoni Diller · CERN Document Server (European Organization for Nuclear Research) · 1990
From the Publisher: Offers a thorough and comprehensive tutorial introduction to Z. Uses standard notation with practical exercises and clear descriptions and explanations. Contains information on how to relate Z specifications to actual program code and is enhanced to reflect the most current language standards.