Maude system: A programming language </>