Came here to say the same. Some other links also require an ACM account, but can be found elsewhere:

Dijkstra on Goto: http://www.ecn.purdue.edu/ParaMount/papers/dijkstra68goto.pd...

Wirth on stepwise refinement: http://www.cs.inf.ethz.ch/~wirth/Articles/StepwiseRefinement...

Parnas on decomposition into modules: http://www.cs.umd.edu/class/spring2003/cmsc838p/Design/crite...

Ingalls on design principles behind Smalltalk: http://carlstrom.com/stanford/cs242/readings/10.pdf

Cook on Smalltalk collection classes: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.24....

Here is the scan of the original typewritten EWD: http://userweb.cs.utexas.edu/users/EWD/ewd02xx/EWD215.PDF

The entire EWD archive can be read here: http://userweb.cs.utexas.edu/users/EWD/

If you're pleased to see that paper there, you'll be even more pleased with the required reading for Stanford's security class.

http://crypto.stanford.edu/cs155/syllabus.html

That was the "one" link I tried clicking into. Thanks for being awesome bigmac.