Äquivalenzuntersuchungen an einfachen Programmen - Wöhl, Kai (1978)
Zsfassung in engl. - Zugl.: Dortmund, Univ., Diss., 1977