Reineke, Henning (2004) Struktur und Verhalten von verteilten endlichen Automaten. PhD, Universität Oldenburg.