@book{6023,
	author = {IEEE},
	title = {20th design automation conference proceedings},
	publisher = {ACM,},
	year = {1983.},
	address = {Florida:}
}