Testen und Verifizieren von Prozessrechnersoftware (Kernforschungszentrum Karlsruhe, 1979)