The Mathematics of Programming
C. A. R. Hoare
Month
April 4
Note
Typed manuscript; a draft towards ‘Maths Adds Safety to Computer Programs'
Year
1985
C. A. R. Hoare