Reconstructing Concurrency Invariants Through Medieval East Asian Logic

Java Concurrency in Practice (Brian Goetz) — If reasoning about invariants across threads is your idea of a good time, this is the classic text that makes concurrency reasoning rigorous and practical. It walks through safe publication, state ownership, and the invariants that keep multithreaded code honest — a grounded companion to any philosophical detour into logic.