Xref: utzoo comp.specification:138 comp.software-eng:4145
Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!mcsun!ukc!warwick!nott-cs!christopher-robin.cs.bham.ac.uk!ard
From: ard@cs.bham.ac.uk (Antoni Diller <DillerAR>)
Newsgroups: comp.specification,comp.software-eng
Subject: Re: References to 'Z' specification language
Message-ID: <993@christopher-robin.cs.bham.ac.uk>
Date: 5 Sep 90 11:01:28 GMT
References: <592@bohra.cpg.oz> <1990Sep3.091105.10514@axion.bt.co.uk>
Organization: Birmingham University, England
Lines: 7


The best book on Z by far is:

Antoni Diller
Z: An Introduction to Formal Methods
Chichester, Wiley, 1990
ISBN 0 471 92489 X