@book{206399,
	author = {Marlet, Renaud.},
	title = {Program specialization /},
	publisher = {ISTE ;},
	year = {2013.},
	series = {Computer engineering series},
	address = {London :},
	url = {http://onlinelibrary.wiley.com/book/10.1002/9781118576984}
}