@techreport{W&2OBJ:soundness,
  title = "{Soundness of an Encoding of \Wlog: A Logic for Z in 2OBJ}",
  author = "Hendrik Hilberdink and Andrew Martin",
  year = "1992",
  institution = "OUCL(PRG)",
  month = "June",
}