Hagen Huwig Volker Claus Das Äquivalenzproblem für spezielle klassen von Loop-1-programmen. 73-82 1977 conf/tcs/1977 Theoretical Computer Science db/conf/tcs/tcs1977.html#HuwigC77