Ein statischer Logiksimulator zur Verifikation struktureller und funktioneller Entwürfe auf der Basis der MOS-Schaltungstechnik. - Uwe Maaz (1990)