Common Algebraic Specification Language
article-link
What links here
Institution (computer science)
Joseph Goguen
article-link
List of mathematical logic topics
article-link
WikiHQWikiHQInstitution (computer science)
article-link
article-link
article-link