@book{58306,
	author = {Sandén, Bo},
	title = {Design of multithreaded software :},
	publisher = {John Wiley & Sons,},
	year = {c2011},
	address = {Hoboken, N.J. :}
}