Good tutorials!

Alexis Read
Wed May 15 08:56:02 2002

For those that are having trouble with arrows formalisms
Additionally if you follow the links off this you should find a GUI
toolkit based on arrows.

For those who'd like to learn Maude
This seems a better tutorial than the set presented on the Maude site.