@inproceedings{HallMartin:WReconstructed,
  title = "W Reconstructed",
  author = "Jon Hall and Andrew Martin",
  year = "1997",
  address = "Berlin Heidelberg",
  annote = "10th International Conference of Z Users, University of Reading, April 1997, Proceedings",
  booktitle = "{ZUM'97}: The {Z} Formal Specification Notation, 10th International Conference of {Z} Users, {Reading}, {UK}, April 1997, Proceedings",
  editor = "Jonathan P. Bowen and Michael G Hinchey and David Till",
  isbn = "3-540-62717-0",
  month = "apr",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "1212",
}