Heat transfer in active volcanoes : models of crater lake systems - Stevenson, David Stacey (1992)