The page you referenced,
<http://www.cs.ucla.edu/ficus-members/johnh/PAPERS/sosp_95.html>,
has moved. It can now be found somewhere under
<http://www.isi.edu/~johnh/PAPERS/index.html>.
John Heidemann