Skip to main content

Purely Functional Non−determinism

C. A. R. Hoare

Month
April 13
Note
Typed manuscript
Year
2000