"What Good is Temporal Logic?" (https://lamport.azurewebsites.net/pubs/pubs.html#what-good https://lamport.azurewebsites.net/pubs/pubs.html#what-good) is in the

"What Good is Temporal Logic?" (https://lamport.azurewebsites.net/pubs/pubs.html#what-good https://lamport.azurewebsites.net/pubs/pubs.html#what-good) is in the running for my favorite CS paper. Well worth reading, and understandable even if you have a passing familiarity with predicate logic.