Aspekte der Spezifikation und Validierung paralleler Algorithmen auf der Grundlage von Automatennetzen unter Nutzung der logischen Programmierung. - Stephan Churt (1993)