"Theoretical Computer Science, Volume 285, Issue 2, Pages 119-564 (28 August 2002), Rewriting Logic and its Applications" - читать интересную книгу автора (N. Marti-Oliet, J. Mesegue (eds.))