Quasi-varieties in abstract algebraic institutions (1986)

by A Tarlecki
Venue:Journal of Computer and System Sciences