Polynomial space restricted unwind property of an algebra of binary words - Sperschneider, Volker (1986)