经曰:濠面阔二丈、深一丈、底阔一丈,以面阔积数三丈半之,得数一丈五尺;以深一丈乘之,凿濠一尺,得数一十五丈。每一工日出土三丈一尺,计工五人。一步,计工三十人;一里,计工一万八千人。一里为率,则百里可知。
纪效新书
虎钤经
尉缭子
曾胡治兵语录
八阵合变图说
孙子参同