@book{3280,
	author = {Nisan, Noam.},
	title = {The Elements of Computing Systems:},
	publisher = {MIT Press},
	year = {2005.},
	address = {Cambridge}
}