@book{757178,
	author = {Jeff Magee and Jeff Kramer},
	title = { Concurrency : state models & Java programs},
	publisher = {John Wiley & Sons Ltd},
	year = {2006},
	address = { Hoboken, NJ, }
}