Skip to main content

Shifting the Identity of Predicate Transformers

C. A. R. Hoare

Note
Handwritten letter to Hilary Priestley‚ undated