@book{42418,
	author = {DE MICHELI AND ETC and NO},
	title = {READINGS IN HARDWARE SOFTWARE CO DESIGN},
	publisher = {MORGAN KAUFMANN},
	year = {2008},
	edition = {1}
}