Institution morphisms (0)

by J A Goguen, G Rosu