Ein Verfahren zur rechnergestützten Erstellung von Testfolgen für digitale Schaltungen. - Werner Goltz (1976)