Thymus hispanicus var. micranthus (Willk.) Pau Mem. Real Soc. Esp. Hist. Nat. 15: 69 (1929)