AB27.3.4
AB27.3.4 C. A. R. Hoare: Set manipulation, pages 29-37
Page 29
Page 30
Page 31
Page 32
Page 33
Page 34
Page 35
Page 36
Page 37