@techreport{currie83-kernel,
	author      = {Currie, Ian F and Foster, J Michael and Edwards, Peter W},
	title       = {Kernel and system procedures in {Flex}},
	series      = {RSRE Memorandum},
	institution = {Royal Signals and Radar Establishment, Malvern},
	publisher   = {Ministry of Defence},
	number      = {3626},
	month       = {9},
	year        = {1983},
	file        = {Currie83-kernel.pdf},
}