@book{145512,
	author = {Gosling, J. B.},
	title = {Simulation in the design of digital electronic systems /},
	publisher = {Cambridge University Press,},
	year = {1993.},
	address = {Cambridge :},
	note = {Includes index.}
}