Archivo personal de Antonio Buero Vallejo. Obras de otros autores