Rewriting techniques and applications : proceedings - Kirchner Claude; International Conference on Rewriting Techniques and Applications( 5th : 1993 : Montreal ); International Conference on Rewriting Techniques and Applications 5th Montreal, 1993 (Berlin Springer Verlag, 1993)
Keywords: Computer programming