Robert Piloty Rechnergestützter Entwurf digitaler systeme: Stand, Probleme, Aussichten. 149-150 1980 conf/arcs/1980 ARCS db/conf/arcs/arcs1980.html#Piloty80