Extensions to the Hydra Specifications