Hacker News new | ask | show | jobs
by smitty1e 903 days ago
"Temporal Logic of Actions", not "Three Letter Acronym".