PRÜFUNG DER SYNCHRONISIERUNG BEI AUTOMATISIERUNGSPROGRAMMEN - Popall, Manfred (Universität, 1987)