Logiksynthese für komplexe anwenderprogrammierbare elektronische Bausteine - Schlichtmann, Ulf (1995)