Alcaldes de Madrid 1820 - 1936. - Asencio, José María (Ayuntamiento de Madrid,, 1985)