Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science, 78, Band 78)

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)

Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science)

Digital Typography: Volume 78 (Csli Lecture Notes, Band 78)