Xref: utzoo comp.specification:137 comp.software-eng:4143
Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!sdd.hp.com!usc!snorkelwacker!bloom-beacon!eru!hagbard!sunic!mcsun!ukc!ox-prg!news
From: news@prg.ox.ac.uk (news)
Newsgroups: comp.specification,comp.software-eng
Subject: Re: References to 'Z' specification language
Message-ID: <652@culhua.prg.ox.ac.uk>
Date: 5 Sep 90 08:59:18 GMT
References: <592@bohra.cpg.oz> <1990Sep3.091105.10514@axion.bt.co.uk> <12954@june.cs.washington.edu>
Reply-To: Jonathan.Bowen@prg.oxford.ac.uk (Jonathan Bowen)
Organization: Programming Research Group, Oxford University, UK
Lines: 34

Two other recent references which may be useful for those interested
in the latest developments and research concerned with Z:

@proceedings{VDM90,
  editor = {D. Bj{\o}rner and C.A.R. Hoare and H. Langmaack},
  title = {{VDM} and {Z} -- Formal Methods in Software Development},
  publisher = {Springer-Verlag},
  address = {Berlin, Germany},
  series = {Lecture Notes in Computer Science},
  volume = {428},
  year = {1990},
  isbn = {3-540-52513-0 and 0-387-52513-0},
  note = {Proceedings of Third Interational Symposium of VDM Europe,
    17--21 April 1990, Kiel, Germany.}
}

@proceedings{Z90,
  editor = {J.E. Nicholls},
  title = {{Z} User Workshop},
  publisher = {Springer-Verlag},
  address = {Berlin, Germany},
  organization = {Programming Research Group, Oxford University, UK},
  series = {Workshops in Computing},
  length = {288},
  month = {September},
  year = {1990},
  isbn = {3-540-19627},
  note = {Proceedings of the Fourth Annual Z User Meeting,
    15 December 1989, Oxford, UK.
    Price \pounds24.00 soft cover (BCS members \pounds19.00).}
}

--
Jonathan Bowen, PRG, Oxford University