晉·常璩《華陽國志·蜀志》
秦孝文王以李冰為蜀守。冰能知天文、地理，……冰乃壅江作堋。穿郫江、檢江，別支流，雙過郡下，以行舟船。……又溉灌三郡，開稻田。于是蜀沃野千里，號為陸海?！庾魇孱^以厭水精。穿石犀溪渠于江南，命曰犀牛里。后轉置犀牛二頭，一在府市市橋門，今所謂石牛門是也。一在淵中。
秦孝文王以李冰為蜀守。冰能知天文、地理，……冰乃壅江作堋。穿郫江、檢江，別支流，雙過郡下，以行舟船。……又溉灌三郡，開稻田。于是蜀沃野千里，號為陸海?！庾魇孱^以厭水精。穿石犀溪渠于江南，命曰犀牛里。后轉置犀牛二頭，一在府市市橋門，今所謂石牛門是也。一在淵中。
