Abstract is missing.
- PrefaceCliff B. Jones, Jayadev Misra. [doi]
- The 1980 ACM Turing Award LectureTony Hoare. 1-22 [doi]
- Finding Effective AbstractionsCliff B. Jones, Jayadev Misra. 23-40 [doi]
- Assessing the Success and Impact of Hoare's LogicKrzysztof R. Apt, Ernst-Rüdiger Olderog. 41-76 [doi]
- Preface to Special Issue on Software VerificationC. A. R. Hoare, Jayadev Misra. 77-80 [doi]
- The Verified Software Initiative: A ManifestoTony Hoare, Jayadev Misra, Gary T. Leavens, Natarajan Shankar. 81-92 [doi]
- The First Fifteen Years of the Verified Software ProjectPeter Müller 0001, Natarajan Shankar. 93-124 [doi]
- Verification in the Grand ChallengeJim Woodcock, Janet Barnes, Rod Chapman, Simon Foster 0001, Thomas Santen. 125-156 [doi]
- Communicating Sequential ProcessesC. A. R. Hoare. 157-186 [doi]
- CSP: A Practical Process AlgebraStephen D. Brookes, A. W. Roscoe 0001. 187-222 [doi]
- Teaching at Belfast and OxfordBernard Sufrin. 223-250 [doi]
- Software SpecificationIan J. Hayes, Steve King 0001. 251-270 [doi]
- CSP, Occam, and InmosDavid May. 271-284 [doi]
- Hoare and He's Unifying Theories of ProgrammingJim Woodcock. 285-316 [doi]
- Trimming the Hedges: An Algebra to Tame ConcurrencyGeorg Struth. 317-346 [doi]
- EnvoiTony Hoare. 347-356 [doi]
- ACM Interview359-386 [doi]
- CvJayadev Misra. 387-392 [doi]
- Doctoral Students393-394 [doi]
- List of Tony Hoare's PublicationsCliff B. Jones. 395-410 [doi]
- Online ResourcesMargaret Gray. 411-412 [doi]
- Authors' Biographies/Index413-420 [doi]