A graphical system for hierarchical specifications and checkups of VLSI circuits. - Bernd Becker 001; Thomas Burch; Günter Hotz; D. Kiel; Reiner Kolla; Paul Molitor; Hans-Georg Osthof; Gisela Pitsch; Uwe Sparmann (EURO-DAC, 1990)

Self-Dual Confined Configurations With Ten Points. - R. Sternfeld; D. Koster; D. Kiel; R. Killgrove (Ars Comb., 2003)