Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport
The River
Cheryl Kaye Tardif
Why Functional Programming Matters
John Hughes
The Legend Of Koizumi 35
Unknown
Across the Horizon in Our Minds
LadyKarai