Theoretical Foundations of Programming Methodology:Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare (Nato Science Series C:, Band 38) 93,08 EUR*