An Annotated Bibliography on the History of Data Processing