Links for axiom-spec