Plump, D.; Bak, C. Rooted Graph Programs. ECEASST 2012, 54.