Transcript

Transcript

of the talk with C.A.R. Hoare; August 10-11, 1984 (handwritten)

Date: 
11.08.1984