*Homepage:* http://maude.csl.sri.com/ Maude is a high-performance reflective language and system supporting both equational and rewriting logic specification and programming for a wide range of applications. ----- CategorySystem | -- Main.EelcoVisser - 25 May 2001