Volcanic seismology (Springer, 1992)