Go to Statement Considered Harmful (1968) [pdf]
Coincidentally, I put up a new chapter in my in-progress book last night that contains a long aside with my thoughts on this paper:<p><a href="http:&#x2F;&#x2F;craftinginterpreters.com&#x2F;jumping-back-and-forth.html#design-note" rel="nofollow">http:&#x2F;&#x2F;craftinginterpreters.com&#x2F;jumping-back-and-forth.html#...</a><p>Overall, I find it pretty disappointing. It lacks the rigor that Dijkstra himself argued so strongly for and may have stifled actual useful language research.