Engineer procurement manual, 1937 edition, Changes 1; Dec. 31, 1938.

Tools