Safety of computer control systems : proceedings of the IFAC Workshop, Stuttgart, 16-18 May 1979 - Lauber, R. (rz1, 1980)