@unpublished{H85:Mathematics, title = "The Mathematics of Programming", author = "C. A. R. Hoare", year = "1985", month = "April 4", note = "Typed manuscript; a draft towards `Maths Adds Safety to Computer Programs'", }