Leslie Lamport: A Mathematical View of Computer Systems Mathematics provides what I believe to be the simplest and most powerful way to describe computer systems.