Everyman's dictionary of abbreviations - Paxton, John (1981)