Rechnergestützter Entwurf großer kombinatorischer Schaltsysteme auf der Basis nichtkanonischer Normalformen von Bündeln partieller Boolescher Funktionen - Heltzig, Herbert Frank (1976)