Unified algebras and institutions (1989)

by P Mosses
Venue:Proceedings 4th Logic in Computer Science, IEEE