Taste of rewriting systems (http://citeseer.ist.psu.edu/dershowitz93taste.html), автор является соавтором модификации Knut-Bendix (terminating Knuth-Bendix, что ли), которая используется, например, в Maude.
Есть еще http://www.program-transformation.org/
Там не очень много, но есть от чего отталкиваться.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
zaluzianskya and ![[community profile]](https://www.dreamwidth.org/img/silk/identity/community.png)
skylark_photos
no subject
Date: 2007-07-05 10:16 am (UTC)Есть еще http://www.program-transformation.org/
Там не очень много, но есть от чего отталкиваться.