Text this: Petrology and petrogenesis of the Ronda high-temperature peridotite intrusion, southern Spain.