Parallekontrolle syntaktisch repräsentierter Zustandsfolgen. - J. Bancsich; G. Vinek (Fachtagung Prozessrechner, 1974)