Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport
80/20 Japanese (Romaji Edition)
Richard Webb
80/20 Japanese (2)
Time Streams
J. Robert King
Artifact Cycle (3)
Designing BSD Rootkits
Joseph Kong
Across the Horizon in Our Minds
LadyKarai