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
3 Some Thoughts on Algebraic Specification – Donald Sannella, Andrzej Tarlecki - 1985
3 Tossing Algebraic Flowers down the Great Divide – Joseph Goguen - 1999
139 Toward formal development of programs from algebraic specifications: implementations revisited (Extended Abstract) – Donald Sannella, Andrzej Tariecki
64 On Observational Equivalence and Algebraic Specification – Donald Sannella, Andrzej Tarlecki - 1987
938 Linearizability: a correctness condition for concurrent objects – Maurice P. Herlihy, Jeannette M. Wing - 1990
19 Extended ML: an institution-independent framework for formal program development – Donald Sannella , Andrzej Tarlecki - 1986
14 Structured theory presentations and logic representations – Robert Harper, Donald Sannella, Andrzej Tarlecki - 1994
INSTITUTIONS: Abstract Model Theory for Specification and Programming – Joseph A. Goguen, Rod Burstall