@book{5043,
	author = {Marlet, Renaud},
	title = {Program Specialization /},
	publisher = {John Wiley & Sons,},
	year = {c 2013.},
	address = {Hoboken, New Jersey :},
	url = {https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/9781118576984?download=true}
}