Moura, et al.. A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi. Elsevier BV, 2011, doi:10.1016/j.entcs.2011.03.004.