"All about Maude.. a high-performance logical framework" - читать интересную книгу автора (Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso...)