Rustand Balchin. Computations for Symbolic Substitutions. 30 May 2017.