En fuentes del siglo XVII se identifica con los "montes Doca" (es decir, los montes de Oca, en la provincia de Burgos).