International tectonic dictionary : English terminology / - Dennis, John G.