@phdthesis{me:thesis,
  title = "Machine-Assisted Theorem-Proving for Software Engineering",
  author = "Andrew Martin",
  year = "1994",
  month = "Michaelmas",
  note = "Also available as Technical Monograph PRG-121, ISBN 0-902928-95-3, Oxford University Computing Laboratory, Wolfson Building,
Parks Road, Oxford, OX1 3QD, UK",
  school = "University of Oxford",
}