Institution morphisms (0)

by J A Goguen, G Rosu
Venue:Formal Aspects of Computing