Composing Hidden Information Modules over Inclusive Institutions (2004)

by J A Goguen, G Rosu
Venue:In Essays in Memory of Ole-Johan Dahl, volume 2635 of LNCS