%0 Journal Article %A Uustalu, Tarmo %T Generalizing substitution %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 2003 %P 315-336 %V 37 %N 4 %I EDP-Sciences %U http://www.numdam.org/articles/10.1051/ita:2003022/ %R 10.1051/ita:2003022 %G en %F ITA_2003__37_4_315_0