Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science, 129, Band 129)

A Concurrent Pascal Compiler for Minicomputers (Lecture Notes in Computer Science, 50, Band 50)

First Order Dynamic Logic (Lecture Notes in Computer Science, 68, Band 68)

Axiomatising the Logic of Computer Programming (Lecture Notes in Science, 130, Band 130)

The Logic of Information Structures (Lecture Notes in Computer Science, 681, Band 681)