@book{Hoare85ee,
  title = "Mathematical Logic and Programming Languages",
  year = "1985",
  editor = "C.A.R. Hoare and J.C. Shepherdson",
  isbn = "0-13-561465-1",
  note = "The papers in this book were first published in the Philosophical Transactions of the Royal Society Series A, Vol.~312, 1984.",
  publisher = "Prentice-Hall",
}