Real World OCaml: Functional Programming for the Masses
Yaron Minsky & Anil Madhavapeddy & Jason Hickey
Password Authentication with Insecure Communication
Leslie Lamport
Beyond Doubt
Robert A. Heinlein
Coventry
Across the Horizon in Our Minds
LadyKarai
Star-Crossed
Skywalkers