The Byzantine Generals Problem (Lamport, Shostak, Pease, 1982)

The threat model behind every blockchain consensus algorithm. Published in ACM TOPLAS (1982). Annotated reading at https://semicolony.dev/papers/byzantine-generals/.