Maude
article-link
What links here
Maude system
Calculus of structures
article-link
OBJ (programming language)
article-link
SRI International
article-link
Non-English-based programming languages
article-link
List of programming languages
article-link
List of programming languages by type
article-link