The chapter on Hydra in LevyBookCapabilityBasedComputerSystems can be found at:
ObjectCapabilityOperatingSystem CategoryOperatingSystem