Maude is the most famous one that I know of I think. https://maude.lcc.uma.es/maude-manual/maude-manualch1.html#x4-40001.1 https://maude.lcc.uma.es/maude-manua

Maude is the most famous one that I know of I think. https://maude.lcc.uma.es/maude-manual/maude-manualch1.html#x4-40001.1 https://maude.lcc.uma.es/maude-manual/maude-manualch1.html#x...