@book{160694,
	author = {Safety and Reliability Society (Great Britain). and Daniels, B. K.},
	title = {Achieving safety and reliability with computer systems /},
	publisher = {: Elsevier Applied Science,},
	year = {1987},
	address = {London}
}