United States. War Dept. Operations Division.

• Diary of the Operations Division, War Department General Staff, 1942-1946