《明史·刑法志一》：“﹝军犯﹞有丁尽户絶，止存军产者，或并无军产，户名未除者，朝廷岁遣御史清军，有缺必补。”