1. Baitinger, U.: Schaltkreistechnologien für digitale Rechenanlagen. Berlin;New York: de Gruyter 1973. 263 S.
2. Endres, A.: Analyse und Verifikation von Programmen. Systematische Verfahren und Untersuchungen zur Erstellung fehlerfreier Software. München; Wien: Oldenbourg 1977. 405 S.
3. Folberth, O.G.: Grundlagen der Halbleiterphysik. Berlin: Schiele und Schön 1965. 113 S.
4. Ganzhorn, K., Schulz, K., Walter, W.: Datenverarbeitungssysteme. Aufbau und Arbeitsweise. Berlin; Heidelberg; New York: Springer 1981. 305 S.
5. Ganzhorn, K., Walter, W.: Die geschichtliche Entwicklung der Datenverarbeitung. Stuttgart: IBM Deutschland GmbH 1975. 305 S.