Title: The nomenclature of petrology, with references to selected literature