Institution Morphisms (2001)

by Joseph Goguen, Grigore Rosu