《陈书・江总姚察传论》：「至於九流、《七略》之书，名山、石室之记，汲郡、孔堂之书，玉箱、金板之文，莫不穷研旨奥，遍探坎井，故道冠人师，搢绅以爲准的。」

《北史・隋纪下》：「又沧海道军，舟舻千里，高颿电逝，巨舰云飞。横断沮江，迳造平壤。岛屿之望斯绝，坎井之路已穷。」