Do you have a reference for the larger quote? Because I couldn't find one and I actually asked Tony Hoare and he didn't have one either. What I found (in the ACM paper) is better than how it's usually quoted but the full quote you gave is better still. I'd love to know the source.

Btw Tony said, approximately, "I don't remember where I wrote that but it sure sounds like me. I could probably find it in a few hours in a good library."