Juniperus pachyphlaea:

Juniperus pachyphlaea:

Juniperus pachyphlaea Torr., Pinaceae: See Juniperus deppeana Steud.

I have no articles for this botanical term, but there might be some for the next level down (if found).