On the Existence of Free Models in Abstract Algebraic Institutions (1985)

by A Tarlecki
Venue:Theoretical Computer Science