@book{126702,
	author = {Safonov, Vladimir O.},
	title = {Trustworthy compilers /},
	publisher = {John Wiley & Sons,},
	year = {c2010.},
	series = {Wiley series on quantitative software engineering},
	address = {Hoboken, N.J. :},
	note = {lncludes index.}
}