3 ms·maude: http://maude.cs.uiuc.edu/ http://maude.cs.uiuc.edu/by chaosgame 15y agomaude: http://maude.cs.uiuc.edu/ http://maude.cs.uiuc.edu/