Skip to main content

The Laws of Occam Programming

A. W. Roscoe and C. A. R. Hoare

Journal
Theor. Comput. Sci.
Pages
177−229
Volume
60
Year
1988