History of the city of Dublin, from the earliest accounts to the present time: 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