RTS 1a - ein System zur formalen Beschreibung und Simulation komplexer Schaltwerke - Knobloch, Hans-Jürgen 1941- (1978)
Darmstadt, Diss.