《商君书・赏刑》：「汤与桀战於鸣条之野，武王与纣战於牧野之中，大破九军……复马华山之阳，从牛於农泽。」
蒋礼鸿锥指：「《史记・周本纪》作『从马於华山之阳，牧牛於桃林之虚。』《史记・乐书》：『牛散桃林之野。』集解：『徐广曰：在弘农县，今曰桃丘。』《书・武成》疏引杜预云：『桃林之塞，今宏农 华阴县 潼关是也。』此云农泽，盖以弘农而称欤？」