🚀 go-pugleaf

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