Composing hidden information modules over inclusive institutions (2004)

by Joseph Goguen, Grigore Ros¸u
Venue:In From ObjectOrientation to Formal Methods