Books by Safety of Computer Control Systems (Conference) (1990 Gatwick, England)