A Mathematical View of Computer Systems

  • Leslie Lamport

Mathematics provides what I believe to be the simplest and most powerful way to describe computer systems.