ASME Design Automation Conference (13th 1987 Boston, Mass.)