Essays on the Formal Description of Computer Systems
Basics
Introduction
Sets and Relations
Proofs in Computer Science
Labeled Graphs and Trees
Automata
Distributed Systems
On the Impossibility of Making Decisions in Partitionable Systems
On the Impossibility of Making Decisions Without the Aid of Clocks