Derbyshire : guide to the Record Office. (Derbyshire County Council, 1994)