A gentle intro to TLA+ thinking above the code level Temporal Logic of Actions a logical formalism based on simple math to describe systems Giacomo Citi - 4/5/2021
