Skip to main content

Models and Algebra

C. A. R. Hoare

Month
jul
Note
LaTeXed manuscript
Year
1993