Institution morphisms. Formal Aspects of Computing 13:274–307 (2002)

by J A Goguen, G Rosu