@article {3534,
	title = {A Micro-Kernel for Concurrency in C},
	journal = {Software - Practice and Experience (SPE)},
	volume = {18},
	year = {1988},
	pages = {485--491},
	doi = {10.1002/spe.4380180508},
	author = {Gordon Cormack}
}
