关于“后羿代夏”的最早记载

在《大家》对李伯谦的专访中，李伯谦曾经提到过“后羿代夏”，说是出自史记，但是我找了我手里的史记，却没有提到这件事，甚至没有记录后羿这个人，只是提到了太康失国。
《史记 夏本纪》：
　　夏后帝启崩，子帝太康立。帝太康失国，昆弟五人，须于洛汭，作五子之歌。太康崩，弟中康立，是为帝中康。帝中康时，羲、和湎淫，废时乱日。胤往征之，作《胤征》。中康崩，子帝相立。帝相崩，子帝少康立。

我在网上用太康失国搜索，得到了以下信息：
《史记 索隐》据《左传》：
　　魏庄子曰：“昔有夏之衰也，后羿自鉏迁于穷石，因夏人而代夏政。恃其射也，不修人事，而信用伯明氏之谗子寒浞。浞杀羿，烹之，以食其子，子不忍食，杀于穷门。浞因羿室，生浇及豷。使浇灭斟灌氏及斟寻氏，而相为浇所灭，后缗归于有仍，生少康。有夏之臣靡，自有鬲收二国之烬以灭浞，而立少康。少康灭浇于过，后杼灭豷于戈，有穷遂亡。”
帝相自被篡杀，中间经羿浞二氏，盖三数十年。而《夏本纪》总不言之，直云帝相崩，子少康立，疏略之甚。

《史记 正义》引《帝王纪》：
　　“帝羿有穷氏，未闻其先何姓。帝喾以上，世掌射正。至喾，赐以彤弓素矢，封之於鉏，为帝司射，历虞、夏。羿学射於吉甫，其臂长，故以善射闻。及夏之衰，自鉏迁于穷石，因夏民以代夏政。帝相徙于商丘，依同姓诸侯斟寻。羿恃其善射，不修民事，淫于田兽，弃其良臣武罗、伯姻、熊髡、尨圉而信寒浞。寒浞，伯明氏之谗子，伯明后以谗弃之，而羿以为己相。寒浞杀羿於桃梧，而烹之以食其子。其子不忍食之，死于穷门。浞遂代夏，立为帝。寒浞袭有穷之号，因羿之室，生奡及豷。奡多力，能陆地行舟。使奡帅师灭斟灌、斟寻，杀夏帝相，封奡於过，封豷于戈。恃其诈力，不恤民事。初，奡之杀帝相也，妃有仍氏女曰后缗，归有仍，生少康。初，夏之遗臣曰靡，事羿，羿死，逃於有鬲氏，收斟寻二国馀烬，杀寒浞，立少康，灭奡於过，后杼灭豷于戈，有穷遂亡也。”按：帝相被篡，历羿浞二世，四十年，而《夏本纪》不说，亦司马迁所为疏略也。‘奡’音‘五’‘告’反。‘豷’音‘许’‘器’反。《括地志》云：“故鉏城在滑州韦城县东十里。”

史记索隐和史记正义都是唐代的作品，但提到是出自《左传》和《帝王纪》，其中左传成书不会早于公元前453年，但《帝王纪》我却在百度上却没有找到。

有达人指点一下《帝王纪》的详细信息么？《左传》或《帝王纪》是不是最早提到“后羿代夏”的书？

如果能给个《左传》和《帝王纪》的下载地址就更好了。在《大家》对李伯谦的专访中，李伯谦曾经提到过“后羿代夏”，说是出自史记，但是我找了我手里的史记，却没有提到这件事，甚至没有记录后羿这个人，只是提到了太康失国。
《史记 夏本纪》：
　　夏后帝启崩，子帝太康立。帝太康失国，昆弟五人，须于洛汭，作五子之歌。太康崩，弟中康立，是为帝中康。帝中康时，羲、和湎淫，废时乱日。胤往征之，作《胤征》。中康崩，子帝相立。帝相崩，子帝少康立。

我在网上用太康失国搜索，得到了以下信息：
《史记 索隐》据《左传》：
　　魏庄子曰：“昔有夏之衰也，后羿自鉏迁于穷石，因夏人而代夏政。恃其射也，不修人事，而信用伯明氏之谗子寒浞。浞杀羿，烹之，以食其子，子不忍食，杀于穷门。浞因羿室，生浇及豷。使浇灭斟灌氏及斟寻氏，而相为浇所灭，后缗归于有仍，生少康。有夏之臣靡，自有鬲收二国之烬以灭浞，而立少康。少康灭浇于过，后杼灭豷于戈，有穷遂亡。”
帝相自被篡杀，中间经羿浞二氏，盖三数十年。而《夏本纪》总不言之，直云帝相崩，子少康立，疏略之甚。

《史记 正义》引《帝王纪》：
　　“帝羿有穷氏，未闻其先何姓。帝喾以上，世掌射正。至喾，赐以彤弓素矢，封之於鉏，为帝司射，历虞、夏。羿学射於吉甫，其臂长，故以善射闻。及夏之衰，自鉏迁于穷石，因夏民以代夏政。帝相徙于商丘，依同姓诸侯斟寻。羿恃其善射，不修民事，淫于田兽，弃其良臣武罗、伯姻、熊髡、尨圉而信寒浞。寒浞，伯明氏之谗子，伯明后以谗弃之，而羿以为己相。寒浞杀羿於桃梧，而烹之以食其子。其子不忍食之，死于穷门。浞遂代夏，立为帝。寒浞袭有穷之号，因羿之室，生奡及豷。奡多力，能陆地行舟。使奡帅师灭斟灌、斟寻，杀夏帝相，封奡於过，封豷于戈。恃其诈力，不恤民事。初，奡之杀帝相也，妃有仍氏女曰后缗，归有仍，生少康。初，夏之遗臣曰靡，事羿，羿死，逃於有鬲氏，收斟寻二国馀烬，杀寒浞，立少康，灭奡於过，后杼灭豷于戈，有穷遂亡也。”按：帝相被篡，历羿浞二世，四十年，而《夏本纪》不说，亦司马迁所为疏略也。‘奡’音‘五’‘告’反。‘豷’音‘许’‘器’反。《括地志》云：“故鉏城在滑州韦城县东十里。”

史记索隐和史记正义都是唐代的作品，但提到是出自《左传》和《帝王纪》，其中左传成书不会早于公元前453年，但《帝王纪》我却在百度上却没有找到。

有达人指点一下《帝王纪》的详细信息么？《左传》或《帝王纪》是不是最早提到“后羿代夏”的书？

如果能给个《左传》和《帝王纪》的下载地址就更好了。