@book{119063,
	author = {Van-Roy, Peter. and Haridi, Seif.},
	title = {Concepts, techniques, and models of computer programming /},
	publisher = {MIT Press,},
	year = {2004.},
	address = {Cambridge, Mass. :}
}