A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi. - Flávio L. C. de Moura; A. V. Barbosa; Mauricio Ayala-Rincón; Fairouz Kamareddine (LSFA, 2010)