N. Tausch and M. Philippsen, “A Modular and Statically Typed Effectful Stack for Custom Graph Traversals”, eceasst, vol. 68, Oct. 2014.