Erhöhung der Nebenläufigkeit in automatisch entworfenen digitalen Systemen von Taisy Silva Weber - Weber, Taisy Silva (1986)