Books by Design Automation Conference (ASME) (21st 1995 Boston, Mass.)