Rewriting Logic and Its Applications Plus de livres de ce type