汉 袁康 《越绝书·外传记宝剑》：“ 欧冶子 、 干将 凿 茨山 ，洩其溪，取铁英，作为铁剑三枚：一曰龙渊，二曰泰阿，三曰工布。”

布，一本作“ 巿 ”。