D. Plump and C. Bak, “Rooted Graph Programs”, ECEASST, vol. 54, Nov. 2012.