Title: All about Maude
Subjects: Computer logic, Rewriting systems (Computer science), Human information processing, Maude (Computer program language)