@article{semaphores,
	author = "E. W. Stark",
	title = "Semaphore Primitives and Starvation-Free Mutual Exclusion",
	journal = "Journal of the Association for Computing Machinery",
	volume = 29,
	number = "4",
	pages = "1049--1072",
	month = oct,
	year = 1982
}