Dennis And Van Horn

"Programming semantics for multiprogrammed computations" (at citeseer.ist.psu.edu ) is the original capability paper.

This paper can also be found at www.lcs.mit.edu

Cite Seer seems to be giving a blank page for this, but citeseer.ist.psu.edu is similar.

For the first link try citeseerx.ist.psu.edu


See original on c2.com