Offline for me, archive.org to the rescue! http://web.archive.org/web/20141022015433/http://www.cs.umd.edu/~jfoster/papers/oops13.pdf http://web.archive.org/we

Offline for me, archive.org to the rescue! http://web.archive.org/web/20141022015433/http://www.cs.umd.edu/~jfoster/papers/oops13.pdf http://web.archive.org/web/20141022015433/http://www.cs.umd....