Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport
Citizen of the Galaxy
Robert A. Heinlein
The Importance of Making Outreach Calls
SLAA Fellowship-Wide Services
A Language for Specifying Type Contracts in Erlang and its Interaction ...
Unknown
A State Of Grace : Daily Meditations
The Augustine Fellowship