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