Book Review: Practical TLA+ (James Koppel)pathsensitive.com2 points·charlieflowers··0 commentsOpen articleSaveView on HN