Rewriting techniques & applications : proceedings - Lescanne Pierre; International Conference on Rewriting Techniques & Applications( 2nd : 1987 : Bordeaux ); International Conference on Rewriting Techniques & Applications 2nd Bordeaux, 1987 (Berlin Springer Verlag, 1987)
Keywords: Computer programming