Klaus Blondin Martin Nett VLSI-Entwurfssystem (VENUS). 143-159 1984 conf/gi/1984 GI Jahrestagung db/conf/gi/gi84.html#BlondinN84