Active Bibliography

Composition of Modules with Hidden Information over Inclusive Institutions – Joseph Goguen, Grigore Rosu
A Foundational Approach to Modularization (Extended Abstract) – Grigore Rosu
18 Composing Hidden Information Modules over Inclusive Institutions – Joseph Goguen, Grigore Rosu - 2003
1 Kan Extensions of Institutions – Grigore Rosu
10 Logical Foundations of CafeOBJ – Razvan Diaconescu, Kokichi Futatsugi
4 A Birkhoff-like Axiomatizability Result for Hidden Algebra and Coalgebra – Grigore Rosu - 2000
1 A Birkho-like axiomatizability result for hidden algebra and coalgebra – Grigore Rosu - 1998
10 Hidden Algebra for Software Engineering – Joseph A. Goguen - 1999
An Axiomatic Approach to Structuring Specifications – Răzvan Diaconescu
3 Tossing Algebraic Flowers down the Great Divide – Joseph Goguen - 1999
26 Extra Theory Morphisms for Institutions: logical semantics for multi-paradigm languages – Razvan Diaconescu - 1996
11 A Hidden Herbrand Theorem: Combining the Object and Logic Paradigms – Joseph Goguen, Grant Malcolm, Tom Kemp - 1998
Algebraic System Specification and Development: Survey and Annotated Bibliography - Second Edition - – Martin Gogolla, Zhenyu Qian, Hélène Kirchner, Markus Wolf (Eds.), Maura Cerioli, Maura Cerioli, Universit`a Degli Studi Di Genova, Prof Dr, Bernd Krieg-Brückner, Bernd Krieg-bruckner - 1997
1 Grothendieck Inclusion Systems – Răzvan Diaconescu
10 Foundations of Heterogeneous Specification – Till Mossakowski
8 Axiomatizability in Inclusive Equational Logic – Grigore Rosu - 1996
120 Introducing OBJ – Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi, Jean-Pierre Jouannaud - 1993
1 CafeOBJ Jewels – Razvan Diaconescu, Kokichi Futatsugi, Shusaku Iida
110 A Hidden Agenda – Joseph Goguen, Grant Malcolm - 2000