@book{4701,
	title = {Logic Synthesis for Compositional Microprogram Control Units},
	publisher = {Springer},
	year = {2008},
	address = {Poland},
	edition = {First Edition}
}