Informationsverarbeitung (DIN-Taschenbuch, 1972)