Not Found
The requested URL /c.artho/papers/suzaki-sosp11.bib was not found on this server.