Hacker News new | ask | show | jobs
by turtleyacht 944 days ago
"TLA+ in Practice and Theory Part 2: The + in TLA+"