@techreport{stanley86-integrity,
	title       = {Integrity and the {Flex} {Programming Support Environment}},
	author      = {Stanley, Margaret},
	series      = {RSRE Memorandum},
	institution = {Royal Signals and Radar Establishment, Malvern},
	publisher   = {Ministry of Defence},
	number      = {3915},
	month       = {6},
	year        = {1986},
	file        = {Stanley86-integrity.pdf},
}