@book{ Solr-EB000657831, title = {Algebraic System Specification and Development : A Survey and Annotated Bibliography}, series = {Lecture Notes in Computer Science}, editor = {Bidoit, Michel}, editor = {Kreowski, Hans-Jörg}, editor = {Lescanne, Pierre}, editor = {Orejas, Fernando}, address = {Berlin, Heidelberg}, publisher = {Springer Berlin Heidelberg}, year = {1991}, edition = {1st ed. 1991}, pages = {184}, isbn = {9783540473824}, url = {https://doi.org/10.1007/BFb0018512?nosfx=y} }