@inproceedings{apm:ew2o,
  author = "Andrew Martin",
  booktitle = "FME'93: Industrial-Strength Formal Methods",
  editor = "J. C. P. Woodcock and P. G. Larsen",
  isbn = "0-387-56662-7 and 3-540-56662-7",
  pages = "462--481",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  title = "{Encoding \Wlog : A Logic for Z in 2OBJ}",
  volume = "670",
  year = "1993",
}