@unpublished{H78:Theory,
  title = "A Theory of Programming and its Application to the Design of Correct and Efficient Computer Programs",
  author = "C. A. R. Hoare",
  year = "1978",
  month = "jan",
  note = "Typed lecture notes for a course at TATA Institute, Bomby",
}