Directory of the oil & gas industry in the Netherlands by J.P. Van Exter & W.J.M. Kemper