The unpleasant profession of Jonathan Hoag
Robert A. Heinlein
Monads for functional programming
Philip Wadler
Withdrawal: Gateway to Freedom, Hope and Joy
SLAA Fellowship-Wide Services
Concurrent Programming for Scalable Web Architectures
Benjamin Erb
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport