Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella, editors, Algebraic System Specification and Development - A Survey and Annotated Bibliography. Volume 501 of Lecture Notes in Computer Science, Springer, 1991.
Abstract is missing.