1. Apt, K.R., Ten years of Hoare’s logic, a survey, part II, Theoretical Computer Science 28, pp. 83–109, 1984.
2. Apt, K.R., Proving correctness of CSP programs, a tutorial, Tech. Report 84–24, LITP, Université Paris 7, 1984 (also to appear in the Proc. International Summer School “Control Flow and Data Flow: Concepts of Distributed Programming”, Marktobedorf, 1984 ).
3. Apt, K.R. and Clermont Ph., Two normal form theorems for CSP programs, in preparation.
4. Apt, K.R., Francez N. and De Roever, W.P., A proof system for Communicating Sequential Processes, ACM TOPLAS 2 No 3, pp. 359–385, 1980.
5. Apt, K.R. and Richier, J.L., Real time clocks versus virtual clocks, Tech. Report 84–34, LITP, Université Paris 7, 1984, (also to appear in the Proc. International Summer School “Control Flow and Data Flow: Concepts of Distributed Programming”, Marktobedorf, 1984 ).