Mineralogy and petrology (Springer, 1987)