Rechnerunterstützter Entwurf statisch sequentieller Digitalschaltungen. - Gerald Zickert (1989)