Seismic tomography theory and practice (Chapman & Hall, 1993)