Ramiro I, con su mujer Ermesinda y sus hijos, dona al monasterio, a cambio de la villa de Bailo, el monasterio de San Martín de Cercito con sus posesiones, añadiendo además el monasterio llamado de San Estebán sito en la villa de Arresa, la iglesia de San Jacobo cerca de la villa de Aibar, la villa de Berbués y el monaserio de San Justo del Valle.
CLERO-SECULAR_REGULAR,Car.699,N.1
1055-05-28
Unidad Documental Simple
ES.28079.AHN/3//CLERO-SECULAR_REGULAR,Car.699,N.1
Archivo Histórico Nacional
3. INSTITUCIONES ECLESIÁSTICAS
3.1. CLERO REGULAR
3.1.2. Órdenes y Congregaciones Religiosas Masculinas
Benedictinos
Monasterio de San Juan de la Peña (Huesca). Benedictinos
Monasterio de San Juan de la Peña (Botaya, Huesca, España)
Digitalizado 
LAPEÑA PAUL, Ana Isabel (1989): El monasterio de San Juan de la Peña en la Edad Media (desde sus orígenes hasta el 1410), Zaragoza.
LAPEÑA PAUL, Ana Isabel (1995): Selección de Documentos del Monasterio de San Juan de la Peña (1195-1410), Zaragoza.
UBIETO ARTETA, Antonio (1962): Cartulario de San Juan de la Peña, I, Valencia. Doc. 1.
UBIETO ARTETA, Antonio (1963): Cartulario de San Juan de la Peña, II, Valencia.
AHN.Clero.Carpeta. 697-19 y 698-16.
El documento está datado por el día 'Domingo después del día de la Asunción'.
Tanto para Ubieto (1963: 31-36) como para Lapeña (1989: 34) se trata de un documento falso.