"Proceedings of the NATO Advances Study Institute on Mathematical Methods in Program Development, held in Marktoberdorf, Germany, July 30-August 11, 1996"--T.p. verso.
"Published in cooperation with NATO Scientific Affiars Division" _ t.p.
Mathematical methods in program development. ISBN 354063195X. Published by Springer in 1997. Publication and catalogue information, links to buy online and reader comments.