Text this: University course in digital seismic methods used in petroleum exploration /