Tausch, N. and Philippsen, M. (2014) “A Modular and Statically Typed Effectful Stack for Custom Graph Traversals”, Electronic Communications of the EASST, 68. doi: 10.14279/tuj.eceasst.68.952.