Z について刊行されたものはありますか?

1993 年 3 月に S.Austin と G.I.Parkin によって書かれた"Formal Methods: A Survey" は実務や教育機関での Z の使い方と教えかたがかいてあります。コピーに 関しては DITC Office, Formal Methods Survey, National Laboratory, Teddington, Middlesex TW11 0LW, UK (tel +44-181-943-7002, fax +44-181-977-7091) と連絡を取って下さい。

以下の本は主に Z に関するもので、出版された、あるいは出版される 予定のものです。(ほぼ年代順)

  I.Hayes (ed.), Specification Case Studies, Prentice Hall International
      Series in Computer Science, 1987. (2nd ed., 1993)
      
      URL: http://www.prenhall.com/013/832543/ptr/83254-3.html
  J.M.Spivey, Understanding Z: A specification language and its formal
      semantics, Cambridge University Press, 1988.
  D.Ince, An Introduction to Discrete Mathematics, Formal System
      Specification and Z, Oxford University Press, 1988. (2nd ed., 1993)
  J.C.P.Woodcock & M.Loomes, Software Engineering Mathematics: Formal
      Methods Demystified, Pitman, 1998. (Also Addision-Wesley, 1989)
  J.M.Spivey, The Z Notation: A reference manual, Prentice Hall
      International Series in Computer Science, 1989. (2nd ed., 1992)
      [Widely used as a de facto standard for Z. Often known as ZRM2.]
  A.Diller, Z: An introduction to formal methods, Wiley, 1990.
  J.E.Nicholls (ed.), Z user workshop, Oxford 1989, Springer-Verlag,
      Workshops in Computing, 1990.
  B.Potter, J.Sinclair & D.Till, An Introduction to Formal Specification
      and Z, Prentice Hall International Series in Computer Science, 1991.
      (2nd ed., due 1996)
      
      URL: http://www.prenhall.com/013/242206/ptr/24220-6.html
      (訳本 : ソフトウェア仕様記述の先進技法 - Z 言語,トッパン)
  D.Lightfoot, Formal Specification using Z, MacMillan, 1991.
  A.Norcliffe & G.Slater, Mathematics for Software Construction,
      Ellis Horwood, 1991.
  J.E.Nicholls (ed.), Z User Workshop, Oxford 1990, Springer-Verlag,
      Workshops in Computing, 1991.
  I.Craig, The Formal Specification of Advanced AI Architectures,
      Ellis Horwood, 1991.
  M.Imperato, An Introduction to Z, Chartwell-Bratt, 1991.
  J.B.Wordsworth, Software Development with Z, Addison-Wesley, 1992.
  S.Stepney, R.Barden & D.Cooper (eds.), Object Orientation in Z,
      Springer-Verlag, Workshops in Computing, August 1992.
  J.E.Nicholls (ed.), Z User Workshop, York 1991, Springer-Verlag,
      Workshops in Computing, 1992.
     URL: http://www.imi.gla.ac.uk/springer/eWiC/Abstracts/9.html
  D.Edmond, Information Modeling: Specification and implementation,
      Prentice Hall, 1992.
  J.P.Bowen & J.E.Nicholls (eds.), Z User Workshop, London 1992,
      Springer-Verlag, Workshops in Computing, 1993.
    URL: http://www.comlab.ox.ac.uk/archive/z/zum92.html
  S.Stepney, High Integrity Compilation: A case study, Prentice Hall, 1993.
  M.McMorran & S.Powell, Z Guide for Beginners, Blackwell Scientific, 1993.
  K.C.Lano & H.Haughton (eds.), Object-oriented Specification Case Studies,
      Prentice Hall International Object-Oriented Series, 1993.
  B.Ratcliff, Introducing Specification using Z: A practical case study
      approach, McGraw-Hill, 1994.
  A.Diller, Z: An introduction to formal methods, 2nd ed., Wiley, 1994.
  J.P.Bowen & J.A.Hall (eds.), Z User Workshop, Cambridge 1994,
      Springer-Verlag, Workshops in Computing, 1994.
    URL: http://www.comlab.ox.ac.uk/archive/z/zum94.html
  R.Barden, S.Stepney & D.Cooper, Z in Practice, Prentice Hall
      BCS Practitioner Series, 1994.
  D.Rann, J.Turner & J.Whitworth, Z: A beginner's guide. Chapman & Hall, 1994.
  D.Heath, D.Allum & L.Dunckley, Introductory Logic and Formal Methods.
      A.Waller, Henley-on-Thames, 1994.
  L.Bottaci and J.Jones, Formal Specification using Z: A modelling approach.
      International Thomson Publishing, 1995.
  D.Sheppard, An Introduction to Formal Specification with Z and VDM.
      McGraw Hill International Series in Software Engineering, 1995.
  J.P.Bowen & M.G.Hinchey (eds.), ZUM'95: The Z Formal Specification
      Notation, Springer-Verlag, Lecture Notes in Computer Science,
      volume 967, 1995.
    URL: http://www.comlab.ox.ac.uk/archive/z/zum95.html
  J.P.Bowen, Formal Specification and Documentation using Z: A Case Study
      Approach, International Thomson Publishing, October 1995.
    URL: http://www.comlab.ox.ac.uk/oucl/users/jonathan.bowen/zbook.html
Announced:
  C.N.Dean and M.G.Hinchey (eds.), Educational Issues of Formal Methods,
      Academic Press, London, March 1996.
  J.Jacky, The Way of Z: Formal Methods Demystified, Cambridge University
      Press, November 1996.
  L.Semmens, Z for Software Engineers, Ellis Horwood Series in Computers
      and Their Applications, December 1996.