A-Beginner's-Guid[..]
Unknown
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport
Inc Magic
Robert A. Heinlein
Suggestions for Newcomers
SLAA Fellowship-Wide Services
The Manga Guide to Statistics
Shin Takahashi