History of the city of Dublin, from the earliest accounts to the present time [electronic resource] : containing its annals, antiquities, ecclesiastical history, and charters, its present extent, public buildings, schools, institutions, &c., to which are added, biographical notices of eminent men, and copious appendices of its population, revenue, commerce, and literature / by J. Warburton, J. Whitelaw, and Robert Walsh