Active Bibliography

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
8 A Survey of Formal Software Development Methods – Donald Sannella - 1988
3 Some Thoughts on Algebraic Specification – Donald Sannella, Andrzej Tarlecki - 1985
7 Structuring and Modularity – Fernando Orejas - 1996
143 Toward formal development of programs from algebraic specifications: implementations revisited (Extended Abstract) – Donald Sannella, Andrzej Tariecki
14 Structured theory presentations and logic representations – Robert Harper, Donald Sannella, Andrzej Tarlecki - 1994
66 On Observational Equivalence and Algebraic Specification – Donald Sannella, Andrzej Tarlecki - 1987
3 Compositionality and Compatibility of Parameterization and Parameter Passing in Specification Languages – Rosa Jiménez, Fernando Orejas, Departament Lleng, Sist Informtics, Hartmut Ehrig - 1995
19 Extended ML: an institution-independent framework for formal program development – Donald Sannella , Andrzej Tarlecki - 1986
7 A new semantics for Clear – D. T. Sannella
1 Horizontal composability revisited – Donald Sannella, Andrzej Tarlecki
ON OBSERVATIONAL EQUIVALENCE AND ALGEBRAIC SPECIFICATION-- Extended abstract i-- – Donald Sannella, Andrzej Tarlecki
3 Tossing Algebraic Flowers down the Great Divide – Joseph Goguen - 1999
24 Category-based Semantics for Equational and Constraint Logic Programming – Razvan Diaconescu - 1994
1 Semantics of First Order Parametric Specifications – Dusko Pavlovic
51 Toward formal development of ML programs: foundations and methodology – Donald Sannella, Andrzej Tarlecki - 1989
95 Equations and rewrite rules: a survey – Gerard Huet, Gerard Huet - 1980
72 Writing Larch Interface Language Specifications – Jeannette M. Wing - 1987
unknown title – unknown authors - 2013