Howard A. Landman: Logic synthesis at Sun. COMPCON 1989: 469-472