ISBN 9783540540601 books & textbook
Algebraic System Specification and Development: A Survey and Annotated Bibliography (Lecture Notes in Computer Science, 501)
Bidoit, Michel Kreowski, Hans-Jörg Lescanne, Pierre Orejas, Fernando Sannella, Donald
Springer /1991-06-26 Paperback / 196 Pages
isbn-10: 3540540601 / isbn-13: 9783540540601
