The powers of the President as commandes in Chief of the Army and Navy of the United States (Washington Government Printing Office, 1956)