Automation for safety in shipping and offshore petroleum operations : proceedings of the IFIP/IFAC symposium. Trondheim, Norway. June 16-18, 1980 - Bailey, John D. (rz1, 1980)