AB31.3.4
AB31.3.4 J. Palme: "Atoms" as a Measurement of Program Length, pages 33-34
Page 33
Page 34