Fundamental theory for typed attributed graph transformation long version - Ehrig, Hartmut 1944-2016; Taentzer, Gabriele 1963-; Prange, Ulrike (Forschungsberichte der Fakultät IV, Elektrotechnik und Informatik, 2004)