@book{20967,
	author = {Chinal J},
	title = {Design methods for digital systems},
	publisher = {Springer-Verlag},
	year = {1973},
	address = {New York},
	note = { }
}