Injective Choice Functions (Lecture Notes in Mathematics, 1238)
Deontic Logic: Introductory and Systematic Readings
Morality, Decision and Social Organization Toward a Logic of Ethics
Simple Program Schemes and Formal Languages (Lecture Notes in Computer Science, 20)
Complementary Definitions of Programming Language Semantics (Lecture Notes in Computer Science, 42)
The Foundations of Program Verification (Series in Computer Science) (German Edition)
A Survey of Verification Techniques for Parallel Programs (Lecture Notes in Computer Science, 191)
Eine Termlogik mit Auswahloperator (Lecture Notes in Mathematics) (German Edition)
Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science, 78)
Temporal Logic of Programs (Monographs in Theoretical Computer Science. An EATCS Series)
