Quasi-Varieties in Abstract Algebraic Institutions (1986)

by A Tarlecki
Venue:Journal of Computer and System Science