Institution morphisms (0)

by Joseph Goguen, Grigore Ro¸su
Venue:Formal Aspects of Computing