W.J.Quirk <br/><br/>
Safety of Computer Control Systems