Unified algebras and Institutions (1989)

by P Mosses
Venue:Proc. of IEEE LICS’89, Fourth Annual Symposium on Logic in Computer Science