@techreport{sennett89-tool,
	author      = {Sennett, Chris T},
	title       = {Tool support for the production of high integrity software},
	series      = {RSRE Memorandum},
	institution = {Royal Signals and Radar Establishment, Malvern},
	publisher   = {Ministry of Defence},
	number      = {89005},
	month       = {4},
	year        = {1989},
	file        = {Sennett89-tool.pdf},
}