Title: Advances in Design Automation 13th 1987/Hx0402