AB29.3.4

AB29.3.4 C. A. R. Hoare: Critique of MR93, pages 27-29

Page 27

Page 28

Page 29