looking to find out about a functional language called MAUDE. can't find a lot of recourses online. if any one could point me to anything at all, it would be much appreciated.