Bradshaw, Charles et al., Using the library: the card catalogue