petroleum handbook / compiled by members of the staff of companies of the Royal Dutch/Shell Group ; [ed.: John London]