United States v. Gulf Oil Corporation, 72-1345.

Linked as: