@book{13659,
	author = {Van Roy, Peter},
	title = {Concepts, techniques and models of computer programming},
	year = {2004}
}