@mastersthesis{Stadler2013, author = {Bernhard Stadler}, title = {Ein graphbasierter Formalismus zur Programmmanipulation}, school = {Universit{\"a}t Passau}, year = {2013}, }