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 By: M Broy, G*nther Schmidt Read more