Äquivalenzuntersuchungen an einfachen Programmen Mit deutscher u. engl. Zsfassung - Woehl, Kai (Universität Dortmund. Abt. Informatik. Bericht, 1977)