External Links

    Journal: J. Comput. Syst. Sci.

    Volume 34, Issue 2/3

    150 -- 178Donald Sannella, Andrzej Tarlecki. On Observational Equivalence and Algebraic Specification
    179 -- 209Peter Padawitz. Parameter-Preserving Data Type Specifications
    210 -- 235Ilaria Castellani. Bisimulations and Abstraction Homomorphisms
    236 -- 265Manfred Broy. Specification and Top-Down Design of Distributed Systems
    266 -- 292Johann A. Makowsky. Why Horn Formulas Matter in Computer Science: Initial Structures and Generic Examples
    293 -- 339Edward K. Blum, Hartmut Ehrig, Francesco Parisi-Presicce. Algebraic Specification of Modules and Their Basic Interconnections
    340 -- 376Axel Poigné, Josef Voss. On the Implementation of Abstract Data Types by Programming Language Constructs
    377 -- 408Paul Boehm, Harald-Reto Fonio, Annegret Habel. Amalgamation of Graph Transformations: A Synchronization Mechanism
    409 -- 421Rod M. Burstall. Inductively Defined Functions in Functional Programming Languages
    422 -- 461Pierpaolo Degano, Ugo Montanari. Concurrent Histories: A Basis for Observing Distributed Systems
    runs on