@techreport{me:proof-is-hard,
  title = "Why effective proof tool support for {Z} is hard",
  author = "Andrew Martin",
  year = "1997",
  institution = "Software Verification Research Centre",
  number = "97-34",
  url = "http://svrc.it.uq.edu.au/Bibliography/svrc-tr.html?97-34",
}