@book{810,
	author = {Miczo, Alexander},
	title = {Digital logic testing and simulation},
	address = {John Wiley & Sons}
}