Title: Äquivalenzuntersuchungen an einfachen Programmen