> Both of the omitted sections tend very strongly toward Hoare's actual critiques being the semantic concept of references in high level languages being problem

> Both of the omitted sections tend very strongly toward Hoare's actual critiques being the semantic concept of references in high level languages being problematic, not merely mutable state. Both sections however talk about mutations. Immutable references are not any different from inputs into a function.