From imperative to rule-based graph programs - Plump, Detlef (Journal of logical and algebraic methods in programming, 2017)