Leveson, Naney G. Software: system safety and computers - Boston Addison Wesley 1995 ISBN: 9780201119722 Dewey Class. No.: 005.8 / N95 LEV