Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Relating CASL with other specification languages: the institution level
Theoretical Computer Science
Algebraic specifications: some old history and new thoughts
Nordic Journal of Computing
Hi-index | 0.00 |