| 1995 | Deontic Concepts in the Algebraic Specification of Dynamic Systems: The Permission Case. | Eva Coscia, Gianna Reggio |
| 1995 | Class-Sort Polymorphism in GLIDER. | Silvia Clerici, Rosa M. Jimnez, Fernando Orejas |
| 1995 | Inductively Defined Relations: A Brief Tutorial (Extended Abstract). | Rod M. Burstall |
| 1995 | Experiments with Partial Evaluation Domains for Rewrite Specifications. | Reinhard Bndgen, Werner Lauterbach |
| 1995 | Interchange Format for Inter-operability of Tools and Translation: The SALSA and ASSPEGIQU | Michel Bidoit, Christine Choppy, Frdric Voisin |
| 1995 | Unifying Theories in Different Institutions. | M. Arrais, Jos Luiz Fiadeiro |
| 1994 | Implementation of Data Structures in an Imperative Framework. | Elena Zucca |
| 1994 | Institutional Frames. | Uwe Wolter |
| 1994 | Algebraic Specification Languages: An Overview. | Martin Wirsing |
| 1994 | Multialgebras, Power Algebras and Complete Calculi of Identities and Inclusions. | Michal Walicki, Sigurd Meldal |
| 1994 | Typing Abstract Data Types. | Judith L. Underwood |
| 1994 | A Theory-based Typological Notion of Institutions. | Amlcar Sernadas, Cristina Sernadas, Jos Manuel Valena |
| 1994 | Dynamical Behavior of Object Systems. | Francesco Parisi-Presicce, Alfonso Pierantonio |
| 1994 | A Hierarchy of Institutions Seperated by Properties of Parameterized Abstract Data Types. | Till Mossakowski |
| 1994 | From Abstract Data Types to Logical Frameworks. | Jos Meseguer, Narciso Mart-Oliet |
| 1994 | Topological Methods for Algebraic Specification. | Karl Meinke |
| 1994 | An Object-Oriented Airport: Specification and Refinement in Maude. | Ulrike Lechner, Christian Lengauer, Martin Wirsing |
| 1994 | Axiomatic Specification of Large Information Systems: Experiences and Consequences. | Heinrich Humann |
| 1994 | Sort Inheritance for Order-Sorted Equational Presentations. | Claus Hintermeier, Claude Kirchner, Hlne Kirchner |
| 1994 | Defining Equations in Terminal Coalgebras. | Ulrich Hensel, Horst Reichel |
| 1994 | An Algebraic Semantics for the Object Specification Language TROLL | Martin Gogolla, Rudolf Herzig |
| 1994 | What is an Abstract Data Type, after all? | Martin Gogolla, Maura Cerioli |
| 1994 | Institutions for Behaviour Specification. | Jos Luiz Fiadeiro, Jos Flix Costa |
| 1994 | Modular Termination of Term Rewriting Systems Revisited. | Maribel Fernndez, Jean-Pierre Jouannaud |
| 1994 | Dynamic Abstract Data Types Based on Algebraic Graph Transformations. | Hartmut Ehrig, Michael Lwe, Fernando Orejas |