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