ISBN 354009251X books & textbook
Program Construction: International Summer School (Lecture Notes in Computer Science, 69)
Bauer, F.L. Dijkstra, E.W. Gerhart, S.L. Gries, D. Griffiths, M. Guttag, J. V. Horning, J. J. Owicki, S. S. Pair, C. Partsch, H. Pepper, P. Wirsing, M. Wössner, H. Bauer, F.L. Broy, M.
Springer /1979-06-01 Paperback / 664 Pages
isbn-10: 354009251X / isbn-13: 9783540092513
