Analyse und formale Spezifikation einer operationalen Schnittstelle zwischen Datenhaltung und Entwurfswerkzeugen im VLSI-Bereich. - Yuan Zhou 010 (1994)