It was, but Knuth called it "Hoare's Dictum". All the evidence seems to suggest it was Knuth himself that coined the phrase though.