晋·常璩《华阳国志·蜀志》

秦孝文王以李冰为蜀守。冰能知天文、地理，……冰乃壅江作堋。穿郫江、检江，别支流，双过郡下，以行舟船。……又溉灌三郡，开稻田。于是蜀沃野千里，号为陆海。……外作石犀五头以厌水精。穿石犀溪渠于江南，命曰犀牛里。后转置犀牛二头，一在府市市桥门，今所谓石牛门是也。一在渊中。