1. E. Artin (1925). Theorie der Zöpfe. Abh. des Math. Seminars der Hamburgischen Universität. Bd. 4.
2. B. Becker et al. (1987). Hierarchical design based on a calculus of nets. Proc. 24th ACM/IEEE Design Automation Conference, 649–653.
3. B. Becker et al. (1990). A graphical system for hierarchical specifications and checkup of VLSI circuits. Proc. 1st European Design Automation Conference, 235–244.
4. Th. Burch (1994). Eine graphische Arbeitsumgebung für den parametrisierten Entwurf integrierter Schaltkreise. Dissertation, Universität des Saarlandes.
5. V. Claus (1971). Ein Vollständigkeitssatz für Programme und Schaltkreise. Acta Informatica 1, 64–78.