Bach, Antoni. Masies del Solsonès. Consell Comarcal del Solsonès, abril 1995. D.L.: L-418/95., a la pàg. 226 s'hi troba aquesta cita: ...segons document del mateix arxiu d'Urgell, el bisbe Guisard II va reconciliar el 962 l'església de Sant Sadurní, que estava in pago Lordense in locum vocitatum Castro de Petra Fulgenti
gencat.net
www10.gencat.net
Aquest topònim no figura al Nomenclàtor oficial de toponímia major de Catalunya, però sí a l'edició digital del mapa de Catalunya de l'ICC (escales 1:10.000 i 1:5.000).. S'ha de ressenyar, però, que en aquest mapa ni el Roc de la Pedra ni el castell estan ubicats en el lloc exacte doncs se'ls situa el segon al sud de l'església de Sant Serni i el primer a ponent de l'esmentada església. La realitat és que tant el castell com el Roc de la Pedra s'aixequen al nord-oest de la citada església. El cim de 1.006,5 que al mapa de l'ICC és assenyalat com el Roc de la Pedra en realitat és la Penya de la Rectoria que és la casa que té adossada pràcticament al vessant de llevant