AB29.3.5
AB29.3.5 C. A. R. Hoare: Initialisation of variables, pages 30-32
Page 30
Page 31
Page 32