@book{5146,
	author = {Computer society},
	title = {Proceedings of the ACM/IEEE Design Automation Conference},
	publisher = {IEEE,},
	year = {1988.},
	address = {NY:}
}