汉 袁康《越绝书・外传记宝剑》：「欧冶子、干将凿茨山，泄其溪，取铁英，作爲铁剑三枚：一曰龙渊，二曰泰阿，三曰工布。」布，一本作「巿」。