@unpublished{H87:Towards,
  title = "Towards a Calculus of Total Correctness for the Design of {C-MOS} Switching Circuits",
  author = "C. A. R. Hoare",
  year = "1987",
  month = "aug",
  note = "Typed manuscript",
}