Untere Schranken für das 1-Maschinen Problem und deren Anwendung bei der Erkennung erzwungener Teilsequenzen - Farnbacher, Ellen (1993)
München, Techn. Univ., Diss., 1993