Specifying with syntactic theory functors - Haveraaen, Magne; Roggenbach, Markus (Journal of logical and algebraic methods in programming, 2020)
Keywords: Institution-independence; Reuse mechanisms; Specification languages; Reuse mechanisms; Specification languages; Institution-independence