The Penguin dictionary of abbreviations - Paxton, John, 1923- (Penguin reference, 1989)