Unwind property von Algebren endlicher Wörter und Mengen bezüglich polynomiell zeitbeschränkter Programme - Schmitt, M. (1987)