Three Early Formal Approaches to the Verification of Concurrent Programs. - Jones, Cliff B. (Minds & Machines, 2024)