Dijkstra's "Solution of a Problem in Concurrent Programming Control" from 1965 https://rust-class.org/static/classes/class19/dijkstra.pdf https://rust-class.or

Dijkstra's "Solution of a Problem in Concurrent Programming Control" from 1965 https://rust-class.org/static/classes/class19/dijkstra.pdf https://rust-class.org/static/classes/class19/dijkstra.pdf The entire paper is just one side of one page. In it he describes a basic, fundamental concurrency problem, gives a solution, and then provides a proof of the solution.