@book{ClassicalMindBook,
  title = "{A Classical Mind: essays in Honour of C.A.R. Hoare}",
  year = "1994",
  editor = "A. W. Roscoe",
  publisher = "{Prentice-Hall}",
}