La biblioteca del Ayuntamiento se llama Biblioteca Gerardo Diego y la biblioteca de la Comunidad de Madrid se llama Biblioteca Pública Luis Martín-Santos.