A History of the county of Gloucester (1972)