Die Entwicklung der Informatik braucht Theorie und Praxis ein Fallbeispiel aus dem CAD-Schaltkreisentwurf - Meinel, Christoph (Univ. Trier, Mathematik, Informatik, 1995)