A portable vacuum hammer seismic source for use in tunnel environments - Carroll, R.; Magner, J. (Open-File Report, 1993)