Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983 (Lecture Notes in Computer Science, 164)
Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980 (Lecture Notes in Computer Science, 148)
Logics of Programs Brooklyn, June 17-19, 1985
Axiomatising the Logic of Computer Programming (Lecture Notes in Computer Science, 130)
Logic of Programs Workshop, ETH Zürich, May-July 1979
6th Conference on Automated Deduction: New York, USA, June 7-9, 1982 (Lecture Notes in Computer Science)
Graph-Grammars and Their Application to Computer Science: 2nd International Workshop. Haus Ohrbeck, Germany, October 4 - 8, 1982 (Lecture Notes in Computer Science)
Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science, 78)
An Introduction to the PL/CV2 Programming Logic (Lecture Notes in Computer Science, 135)
Temporal Logic of Programs (Monographs in Theoretical Computer Science. An EATCS Series)
