add Internalxref with spec