Pennemann, Karl-Heinz (2009) Development of correct graph transformation systems. PhD, Universität Oldenburg.