ISBN 3540100075 books & textbook
Abstract Software Specifications: 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings (Lecture Notes in Computer Science, 86)
Springer /1980-06-01 Paperback / 588 Pages
isbn-10: 3540100075 / isbn-13: 9783540100072
