Institutions morphisms (2002)

by J A Goguen, G Roşu
Venue:Formal Aspects of Computing